The Use of formal specification of software : June 25-27, 1979, Berlin

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.