A formal approach to large SOFTWARE CONSTRUCTION
- 1 January 1989
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Data refinement refined resumeLecture Notes in Computer Science, 1986
- A new notion of encapsulationPublished by Association for Computing Machinery (ACM) ,1985
- Predicative programming Part ICommunications of the ACM, 1984
- A Weaker Precondition for LoopsACM Transactions on Programming Languages and Systems, 1982
- The Equivalence of Bounded Nondeterminacy and ContinuityPublished by Springer Nature ,1982
- Program development by stepwise refinementCommunications of the ACM, 1971