Michel Bidoit, Donald Sannella, Andrzej Tarlecki  Home/Search
Context
Related
| homepages.inf.ed.ac.uk/dt...monterey.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: homepages.inf.ed.ac.uk/dts/alf... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Component based design and development of software is one of the most challenging issues in software engineering. In this paper, we adopt a somewhat simplified view of software components and discuss how they can be conveniently modelled in a framework that provides a modular approach to formal software development by means of stepwise refinement. In particular we take into account an observational interpretation of requirements specifications and study its impact on the definition of... (Update)
Similar documents (at the sentence level): More
52.0%: Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (2004) (Correct)
51.0%: Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (Correct)
21.8%: Architectural specifications in CASL - Bidoit, Sannella, al. (1999) (Correct)
Active bibliography (related documents): More All
0.6: From specifications to code in Casl - Aspinall, Sannella (2002) (Correct)
0.5: Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997) (Correct)
0.3: Toward formal development of ML programs: foundations and.. - Sannella, Tarlecki (1989) (Correct)
Similar documents based on text: More All
0.4: The CoFi Algebraic Specification Language Tentative Design.. - CoFi (1997) (Correct)
0.4: Constructor-based Observational Logic - Bidoit, Hennicker (2003) (Correct)
BibTeX entry: (Update)
@misc{ bidoit-toward,
author = "Michel Bidoit and Donald Sannella and Andrzej Tarlecki",
title = "Toward Component-Oriented Formal Software Development: An Algebraic Approach",
url = "citeseer.ist.psu.edu/657412.html" }
Citations (may not include all citations):537 Component Software: Beyond Object-Oriented Programming (context) - Szyperski - 1998
362 ML for the Working Programmer (context) - Paulson - 1996
265 Proofs of correctness of data representations (context) - Hoare - 1972
234 Institutions: abstract model theory for specification and pr.. (context) - Goguen, Burstall - 1992
198 Toward formal development of programs from algebraic specifi.. - Sannella, Tarlecki - 1988
177 Fundamentals of Algebraic Specification I: Equations and Ini.. (context) - Ehrig, Mahr - 1985
106 An algebraic definition of simulation between programs (context) - Milner - 1971
69 persistent interconnection and implementation of abstract mo.. (context) - Goguen, Meseguer - 1982
67 Specifications in an arbitrary institution (context) - Sannella, Tarlecki - 1988
53 Toward formal development of ML programs: foundations and me.. - Sannella, Tarlecki - 1989
46 Data Abstraction and the Correctness of Modular Programming (context) - Schoett - 1987
44 Algorithmic Language and Program Development (context) - Bauer, Wossner - 1982
44 Algebraic Foundations of Systems Specification (context) - Astesiano, Krieg-Bruckner et al. - 1999
43 Science of Computer Programming (context) - Bidoit, Hennicker et al. - 1995
41 Essential concepts of algebraic specification and program de.. - Sannella, Tarlecki - 1997
36 Algebraic implementation of abstract data types (context) - Ehrig, Kreowski et al. - 1982
34 Behavioural equivalence --- a unifying concept for initial a.. (context) - Reichel - 1981
33 Behavioural correctness of data representations (context) - Schoett - 1990
31 Algebraic Theory of Automata (context) - Ginzburg - 1968
28 Observability concepts in abstract data type specifications (context) - Giarratana, Gimona et al. - 1976
27 The definition of Extended ML: a gentle introduction - Kahrs, Sannella et al. - 1997
27 Behavioural satisfaction and equivalence in concrete model c.. - Bidoit, Tarlecki - 1996
26 Modular correctness proofs of behavioural implementations - Bidoit, Hennicker - 1998
22 Casl: The Common Algebraic Specification Language - Astesiano, Bidoit et al. - 2002
16 Architectural specifications in Casl - Bidoit, Sannella et al. - 2002
16 on Software Engineering SE (context) - Goguen, IEEE - 1984
15 A general framework for modular implementations of modular s.. - Bidoit, Hennicker - 1993
15 Advanced Course on Abstract Software Specifications (context) - Burstall, Goguen et al. - 1980
11 Parameterized specifications: parameter passing and implemen.. (context) - Ganzinger - 1983
7 International standard ISOIEC (context) - Reference, Language et al. - 1994
7 A behavioural algebraic framework for modular system design .. - Hennicker, Nickl - 1994
5 Fundamental Approaches to Software Engineering FASE (context) - Schroder, Mossakowski et al. - 2001
5 Refinement and implementation (context) - Ehrig, Kreowski
4 on Semantics. Semantics of the Common Algebraic Specificatio.. (context) - Task - 2003
4 HasCasl: Towards integrated specification and development of.. (context) - Schroder, Mossakowski - 2002
4 Global development via local observational construction step.. - Bidoit, Sannella et al. - 2002
2 From specifications to code in Casl - Aspinall, Sannella - 2002
Documents on the same site (http://homepages.inf.ed.ac.uk/dts/alf/):
Pre-logical Relations - Honsell, Sannella (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC