Michel Bidoit, Don Sannella, Andrzej Tarlecki  Home/Search
Context Related
Links: ACM DBLP | dcs.ed.ac.uk/pub/dts/globaldev.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: dcs.ed.ac.uk/home/dt...SannellaDT (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The way that refinement of individual "local" components of a specification relates to development of a "global" system from a specification of requirements is explored. Observational interpretation of specifications and refinements add expressive power and flexibility while bringing in some subtle problems. The results are instantiated in the context of Casl architectural specifications. (Update)
Context of citations to this paper: More
.... is also some further work on various topics in algebraic specification in the Casl context; for two recent examples see [MS02] and [BST02b] However, with the completion of the design activity, there has been a very encouraging level of use of Casl in actual applications. In...
...of parametrized components. Further work is discussed in Section 7. A more technical and detailed version of this paper can be found in [BST02b] 2 Algebraic Preliminaries A basic assumption underpinning algebraic specification and derived approaches to software...
Cited by: More
Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (Correct)
Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (Correct)
From specifications to code in Casl - Aspinall, Sannella (2002) (Correct)
Similar documents (at the sentence level):
34.9%: Global Development via Local Observational Construction Steps - Bidoit, al. (2002) (Correct)
Active bibliography (related documents): More All
0.5: Architectural specifications in CASL - Bidoit, Sannella, al. (1999) (Correct)
0.5: An Approach to Algebraic Semantics of Object-Oriented Languages - Fronk (2002) (Correct)
0.4: Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997) (Correct)
Similar documents based on text: More All
0.5: CASL: The Common Algebraic Specification Language - Astesiano, Bidoit.. (1999) (Correct)
Related documents from co-citation: More All
4: Casl: The Common Algebraic Specification Language - Astesiano, Bidoit et al. - 2001
4: Institutions: Abstract model theory for specification and programming (context) - Burstall, Goguen - 1992
4: Algebraic Foundations of Systems Specification (context) - Astesiano, Kreowski et al. - 1999
BibTeX entry: (Update)
M. Bidoit, D. Sannella and A. Tarlecki. Global development via local observational construction steps. Proc. 27th Intl. Symp. on Mathematical Foundations of Computer Science, Warsaw. Springer LNCS, 2002. To appear. http://citeseer.ist.psu.edu/article/bidoit02global.html More
@misc{ bidoit02global,
author = "M. Bidoit and D. Sannella and A. Tarlecki",
title = "Global development via local observational construction steps",
text = "M. Bidoit, D. Sannella and A. Tarlecki. Global development via local observational
construction steps. Proc. 27th Intl. Symp. on Mathematical Foundations of
Computer Science, Warsaw. Springer LNCS, 2002. To appear.",
year = "2002",
url = "citeseer.ist.psu.edu/article/bidoit02global.html" }
Citations (may not include all citations):265 Proofs of correctness of data representations (context) - Hoare - 1972
234 Institutions: abstract model theory for specification and pr.. (context) - Goguen, Burstall - 1992 ACM DBLP
198 Toward formal development of programs from algebraic specifi.. - Sannella, Tarlecki - 1988 ACM DBLP
177 Fundamentals of Algebraic Specification I: Equations and Ini.. (context) - Ehrig, Mahr - 1985
106 An algebraic definition of simulation between programs (context) - Milner - 1971 ACM DBLP
69 persistent interconnection and implementation of abstract mo.. (context) - Goguen, Meseguer - 1982
67 Specifications in an arbitrary institution (context) - Sannella, Tarlecki - 1988 ACM DBLP
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 Algebraic Foundations of Systems Specification (context) - Astesiano, Krieg-Bruckner et al. - 1999 ACM
43 Science of Computer Programming (context) - Bidoit, Hennicker et al. - 1995
41 Essential concepts of algebraic specification and program de.. - Sannella, Tarlecki - 1997 DBLP
36 Algebraic implementation of abstract data types (context) - Ehrig, Kreowski et al. - 1982 ACM DBLP
34 Behavioural equivalence --- a unifying concept for initial a.. (context) - Reichel - 1981
33 Behavioural correctness of data representations (context) - Schoett - 1990 ACM DBLP
31 Algebraic Theory of Automata (context) - Ginzburg - 1968
28 Observability concepts in abstract data type specifications (context) - Giarratana, Gimona et al. - 1976 DBLP
27 Behavioural satisfaction and equivalence in concrete model c.. - Bidoit, Tarlecki - 1996 ACM DBLP
26 Modular correctness proofs of behavioural implementations - Bidoit, Hennicker - 1998 DBLP
22 Casl: The Common Algebraic Specification Language - Astesiano, Bidoit et al. - 2003 DBLP
16 on Software Engineering SE (context) - Goguen, IEEE - 1984
15 A general framework for modular implementations of modular s.. - Bidoit, Hennicker - 1993
11 on Trees in Algebra and Programming (context) - Sannella, Burstall et al. - 1983
11 Parameterized specifications: parameter passing and implemen.. (context) - Ganzinger - 1983 ACM DBLP
8 of Computer and System Sciences (context) - Sannella, Tarlecki et al. - 1987
7 Constructive data refinement in typed lambda calculus - Honsell, Longley et al. - 2000 ACM DBLP
7 Checking amalgamability conditions for Casl architectural sp.. - Klin, Ho et al. - 2001
5 Refinement and implementation (context) - Ehrig, Kreowski
5 Fundamental Approaches to Software Engineering FASE (context) - Schroder, Mossakowski et al. - 2001
4 on Semantics. Semantics of the Common Algebraic Specificatio.. (context) - Task - 2002
3 Algebraic preliminaries (context) - Sannella, Tarlecki
2 Available at http://www (context) - Bidoit, Sannella et al. - 1999
2 on Category Theory and Computer Science CTCS (context) - Bernot, are et al. - 1987
2 Recent Trends in Algebraic development Techniques (context) - Ho, architectural - 2001 ACM
Documents on the same site (http://www.dcs.ed.ac.uk/home/dts/pub/SannellaDT.html): More
Pre-logical Relations - Honsell, Sannella (1999) (Correct)
Essential Concepts of Algebraic Specification and Program.. - Sannella, Tarlecki (1996) (Correct)
A Compositional Generalisation of Logical Relations - Plotkin, Power, Sannella (1998) (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