Product and iteration of module specifications
- 10 June 2005
- book chapter
- Published by Springer Nature
- p. 149-164
- https://doi.org/10.1007/bfb0026102
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Specification of modular systemsIEEE Transactions on Software Engineering, 1986
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985
- Algebraic domain equationsTheoretical Computer Science, 1983
- Data Type Specification: Parameterization and the Power of Specification TechniquesACM Transactions on Programming Languages and Systems, 1982
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975
- A technique for software module specification with examplesCommunications of the ACM, 1972