Collaborated with:W.R.Franta ∅ W.K.Giloi T.G.Moher W.E.Boebert
Talks about:softwar (3) specif (2) methodolog (1) distribut (1) overview (1) hierarch (1) approach (1) abstract (1) uniform (1) hardwar (1)
Person: Helmut K. Berg
DBLP: Berg:Helmut_K=
Facilitated 1 volumes:
EdContributed to:
1979Wrote 4 papers:
- FM-1979-Berg #design #hardware #towards
- Towards a Uniform Design Methodology for Software, Firmware, and Hardware (HKB), pp. 1–38.
- FM-1979-BergFM #correctness #overview #perspective
- Correctness of Software — An Overview (HKB, WRF, TGM), pp. 237–354.
- 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.