Architectural Specifications in CASL

Michel Bidoit, Donald Sannella, Andrzej Tarlecki

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

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.
Original languageEnglish
Pages (from-to)252-273
Number of pages22
JournalFormal Aspects of Computing
Issue number3-5
Publication statusPublished - 2002


Dive into the research topics of 'Architectural Specifications in CASL'. Together they form a unique fingerprint.

Cite this