The Use of Formal Specification of Software 1979:
Berlin, Germany
Helmut K. Berg, Wolfgang K. Giloi (Eds.):
The Use of Formal Specification of Software, June 25-27, 1979, Berlin.
Informatik-Fachberichte 36 Springer 1980, ISBN 3-540-10442-9 
- Helmut K. Berg:
Towards a Uniform Design Methodology for Software, Firmware, and Hardware.
1-38
- Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg:
Writing Simulatable Specifications in SPECIAL.
39-78
- Donald L. Boyd, Antonio Pizzarello, William T. Wood:
An Overview of RDM: Rational Design Methodology.
79-110
- Donald L. Boyd, Antonio Pizzarello, William T. Wood:
Abstraction and Refinement in RDM.
111-149
- Helmut K. Berg, Wolfgang K. Giloi:
Hierarchical Specification of Abstract Data Types.
150-196
- William R. Franta, W. E. Boebert, Helmut K. Berg:
An Approach to the Specification of Distributed Software.
197-236
- Helmut K. Berg, William R. Franta, Thomas G. Moher:
Correctness of Software - An Overview.
237-354
- Mark Moriconi:
Interactive Design and Verification: A Message Switching Network Example.
355-388
Last update Mon May 20 22:58:21 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
