Generalization/Specialization as a Basis for Software Specification
- 1 January 1984
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A language facility for designing database-intensive applicationsACM Transactions on Database Systems, 1980
- Communicating sequential processesCommunications of the ACM, 1978
- On the Model Theory of KnowledgePublished by Defense Technical Information Center (DTIC) ,1978
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- An Introduction to the Construction and Verification of Alphard ProgramsIEEE Transactions on Software Engineering, 1976
- A technique for software module specification with examplesCommunications of the ACM, 1972
- Program development by stepwise refinementCommunications of the ACM, 1971