Architectural specifications in CASL

Architectural specifications in CASL (1999)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Michel Bidoit , Donald Sannella , Andrzej Tarlecki

Citations:

11 - 6 self

BibTeX

@MISC{Bidoit99architecturalspecifications,
    author = {Michel Bidoit and Donald Sannella and Andrzej Tarlecki},
    title = {Architectural specifications in CASL},
    year = {1999}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular structure of software systems. A brief discussion of refinement of Casl specifications provides the setting for a presentation of the rationale behind architectural specifications. This is followed by some details of the features provided in Casl for architectural specifications, hints concerning their semantics, and simple results justifying their usefulness in the development process.

Citations

570	A Formal Basis for Architectural Connection - Allen, Garlan - 1997
425	Institutions: Abstract model theory for specification and programming - Goguen, Burstall - 1992
293	editors: Larch: Languages and Tools for Formal Speci cation - Guttag, Horning - 1993
134	Toward formal development of programs from algebraic specification revisited - Sanella, Tarlecki - 1988
130	Putting theories together to make specifications - Burstall, Goguen - 1977
54	A.: Essential concepts of algebraic specification and program development. Formal Aspects of Computing 9 - Sannella, Tarlecki - 1997
52	Algorithmic Language and Program Development - Bauer, Wossner - 1982
51	A kernel language for algebraic specification and implementation, LNCS 158 - Sannella, Wirsing - 1983
50	Towards formal development of ml programs: foundations and methodology - Sanella, Tarlecki - 1989
43	CoFI: The Common Framework Initiative for Algebraic Specification and Development - Mosses - 1997
42	Data Abstraction and the Correctness of Modular Programming - Schoett - 1987
41	A.Lopes, "Semantics of Architectural Connectors - Fiadeiro - 1997
35	B.: Fundamentals of algebraic specification I: Equations and initial semantics - Ehrig, Mahr - 1985
35	CAT, a system for the structured elaboration of correct programs from structured specifications - Goguen, Burstall
30	Modular correctness proofs of behavioural implementations - Bidoit, Hennicker - 1998
26	Modularizing the formal description of a database system - Fitzgerald, Jones - 1990
17	Reference Manual - Language and Standard Libraries. United States Department of Defense, Ver 6.0 - Ada - 1994
14	The stratified loose approach: a generalization of initial and loose semantics - Bidoit - 1988
13	A general framework for modular implementations of modular systems - Bidoit, Hennicker - 1993
12	Some notes on putting formal specifications to productive use. Science of Computer Programming 2:53--68 - Guttag, Horning, et al. - 1982
11	Structuring specifications in-the-large and in-the-small: higher-order functions, dependent types and inheritance - Krieg-Bruckner, Sannella - 1991
9	A behavioural algebraic framework for modular system design and reuse - Hennicker, Nickl - 1994
4	Designing and refining specifications with modules - Morris, Ahmed - 1990
3	Institution-independent semantics for Casl-in-the-large. CoFI note S-8 - Mossakowski - 1998
3	ML for the Working Programmer, 2nd edition. Cambridge Univ - Paulson - 1996
2	On the correctness of modular systems. Theoretical Computer Science 140:139--177 - Navarro, Orejas, et al. - 1995
2	Specification languages. Chapter 8 of Algebraic Foundations of Systems Specification - Sannella, Wirsing - 1999