One of the novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural spec-ifications for describing the modular structure of software systems. A discussion of refinement of Casl specifications provides the setting for a presentation of the rationale behind architectural specifications. This is followed by details of the features provided in Casl for architectural specifications, hints concerning their semantics, and simple results justifying their usefulness in the development process.
CITATION STYLE
Bidoit, M., Sannella, D., & Tarlecki, A. (1998). Architectural specifications in CASL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1548, pp. 341–357). Springer Verlag. https://doi.org/10.1007/3-540-49253-4_25
Mendeley helps you to discover research relevant for your work.