Title :
Introduction to the Wellmade Design Methodology
Author :
Boyd, Donald L. ; Pizzarello, Antonio
Author_Institution :
Corporate Computer Sciences Center, Honey-well Corporate Technology Center
fDate :
7/1/1978 12:00:00 AM
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.
Keywords :
Abstract data type; constructive approach; design methodology; design specification; software design; Costs; Design methodology; Information systems; Military computing; Programming; Software design; Software development management; Software engineering; Software tools; Sufficient conditions; Abstract data type; constructive approach; design methodology; design specification; software design;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1978.231512
