Introduction to the Wellmade Design Methodology
D. L. Boyd, Antonio Pizzarello · IEEE Transactions on Software Engineering · 1978
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.