A Discipline of Programming
The design of data type specifications
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Hi-index | 0.00 |
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.