DocumentCode
749313
Title
Introduction to the Wellmade Design Methodology
Author
Boyd, Donald L. ; Pizzarello, Antonio
Author_Institution
Corporate Computer Sciences Center, Honey-well Corporate Technology Center
Issue
4
fYear
1978
fDate
7/1/1978 12:00:00 AM
Firstpage
276
Lastpage
282
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;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/TSE.1978.231512
Filename
1702535
Link To Document