Categories for the development of algebraic module specifications
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 157-184
- https://doi.org/10.1007/3-540-51722-7_10
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Algebraic theory of module specifications with constraintsPublished by Springer Nature ,2005
- Specification of modular systemsIEEE Transactions on Software Engineering, 1986
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985
- Stepwise specification and implementation of abstract data typesPublished by Springer Nature ,1978
- Limits of the "algebraic" specification of abstract data typesACM SIGPLAN Notices, 1977
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975
- F‐MorphismenMathematische Nachrichten, 1974
- A technique for software module specification with examplesCommunications of the ACM, 1972