Architectural Specifications in CASL
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 341-357
- https://doi.org/10.1007/3-540-49253-4_25
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A formal basis for architectural connectionACM Transactions on Software Engineering and Methodology, 1997
- CoFI: The common framework initiative for algebraic specification and developmentPublished by Springer Nature ,1997
- On the correctness of modular systemsTheoretical Computer Science, 1995
- A behavioural algebraic framework for modular system design with reusePublished by Springer Nature ,1994
- Larch: Languages and Tools for Formal SpecificationPublished by Springer Nature ,1993
- A general framework for modular implementations of modular system specificationsPublished by Springer Nature ,1993
- Toward formal development of programs from algebraic specifications: Parameterisation revisitedActa Informatica, 1992
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992
- Structuring specifications in-the-large and in-the-small: Higher-order functions, dependent types and inheritance in SPECTRALPublished by Springer Nature ,1991
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985