Helmut K. Berg, Wolfgang K. Giloi
The Use of Formal Specification of Software
FSS, 1979.

@proceedings{FM-1979,
	editor        = "Helmut K. Berg and Wolfgang K. Giloi",
	isbn          = "3-540-10442-9",
	publisher     = "{Springer-Verlag}",
	series        = "{Informatik-Fachberichte}",
	title         = "{The Use of Formal Specification of Software}",
	volume        = 36,
	year          = 1979,
}

Contents (8 items)

3 ×#design
3 ×#specification
2 ×#bibliography

FM-1979-Berg #design #hardware #towards

Towards a Uniform Design Methodology for Software, Firmware, and Hardware (HKB), pp. 1–38.

FM-1979-LevittRS #specification

Writing Simulatable Specifications in SPECIAL (KNL, LR, BAS), pp. 39–78.

FM-1979-BoydPW #design #overview

An Overview of RDM: Rational Design Methodology (DLB, AP, WTW), pp. 79–110.

FM-1979-BoydPW79a #abstraction #refinement

Abstraction and Refinement in RDM (DLB, AP, WTW), pp. 111–149.

FM-1979-BergG #data type #specification

Hierarchical Specification of Abstract Data Types (HKB, WKG), pp. 150–196.

FM-1979-FrantaBB #approach #distributed #specification

An Approach to the Specification of Distributed Software (WRF, WEB, HKB), pp. 197–236.

FM-1979-BergFM #correctness #overview #perspective

Correctness of Software — An Overview (HKB, WRF, TGM), pp. 237–354.

FM-1979-Moriconi #design #interactive #network #verification

Interactive Design and Verification: A Message Switching Network Example (MM), pp. 355–388.