The Use of formal specification of software : June 25-27, 1979, Berlin
1980
Towards a Uniform Design Methodology for Software, Firmware, and Hardware.- Writing Simulatable Specifications in SPECIAL.- An Overview of RDM: Rational Design Methodology.- Abstraction and Refinement in RDM.- Hierarchical Specification of Abstract Data Types.- An Approach to the Specification of Distributed Software.- Correctness of Software - An Overview.- Interactive Design and Verification: A Message Switching Network Example.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI