The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - July (1978 vol.4)
pp: 276-282
D.L. Boyd , Corporate Computer Sciences Center, Honey-well Corporate Technology Center
ABSTRACT
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.
INDEX TERMS
software design, Abstract data type, constructive approach, design methodology, design specification
CITATION
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
26 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool