The Vienna Definition Language
ACM Computing Surveys (CSUR)
A technique for software module specification with examples
Communications of the ACM
Computer programming as an art
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Programming semantics for multiprogrammed computations
Communications of the ACM
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
On attaining reliable software for a secure operating system
Proceedings of the international conference on Reliable software
A structured specification of a hierarchical operating system
Proceedings of the international conference on Reliable software
Software reliability and design: A survey
DAC '76 Proceedings of the 13th Design Automation Conference
Software development and proofs of multi-level security
ICSE '76 Proceedings of the 2nd international conference on Software engineering
The design, analysis, and verification of the SIFT fault tolerant system
ICSE '76 Proceedings of the 2nd international conference on Software engineering
| Hi-index | 0.00 |
This paper describes specification techniques related to a hierarchical methodology developed principally by the author for design, implementation, and proof of large software systems. Two kinds of specification techniques are described: those for decomposing the system into a hierarchy of abstract machines, and those for writing formal specifications for each machine. Several examples of the use of the methodology are presented. The basic concepts of the methodology are extended to include an interpretive computational model that is particularly relevant to hardware design. The usefulness of specifications in the software design process is also discussed.