Donald L. Boyd

Publication Activity (10 Years)

Years Active: 1978-1979
Publications (10 Years): 0

Publications

Donald L. Boyd, Antonio Pizzarello, William T. Wood
Abstraction and Refinement in RDM. The Use of Formal Specification of Software (1979)
Donald L. Boyd, Antonio Pizzarello, William T. Wood
An Overview of RDM: Rational Design Methodology. The Use of Formal Specification of Software (1979)
Donald L. Boyd, Antonio Pizzarello
Introduction to the WELLMADE Design Methodology. IEEE Trans. Software Eng. 4 (4) (1978)
Donald L. Boyd
Implementing Mass Storage Facilities in Operating Systems. Computer 11 (2) (1978)
Donald L. Boyd, Antonio Pizzarello
Introduction to the Wellmade Design Methodology. ICSE (1978)