This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
July 1978 (vol. 4 no. 4)
pp. 276-282
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.
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
Usage of this product signifies your acceptance of the Terms of Use.