Issue No.04 - July (1978 vol.4)
D.L. Boyd , Corporate Computer Sciences Center, Honey-well Corporate Technology Center
An overview of a design methodology called WELLMADE is presented. WELLMADE is a synthesis of results obtained from recent research on software engineering and the experience gained at HIS/Phoenix. The principles, procedures, and notation of WELLMADE are briefly outlined and an example is presented, illustrating the approach for deriving correct programs and the notation for its design specification.
software design, Abstract data type, constructive approach, design methodology, design specification
D.L. Boyd, A. Pizzarello, "Introduction to the Wellmade Design Methodology", IEEE Transactions on Software Engineering, vol.4, no. 4, pp. 276-282, July 1978, doi:10.1109/TSE.1978.231512