Abstract :
The developments which have occurred in the theory, support and exploitation of the mathematical techniques for software (and systems) design, which are collectively known as formal methods, are described. The growing dissatisfaction of both the academic and industrial communities with the use of the term `method´ in this context is discussed. The author also explains the continuing need to justify to the industrial community that the use of mathematically sound design techniques, by an appropriately educated workforce, is a necessary factor in their quest for increased quality, productivity, responsiveness and manageability in the software development process
Keywords :
DP industry; formal specification; software reliability; systems analysis; academic community; educated workforce; formal methods; formal notations; industrial communities; manageability; mathematical techniques; mathematically sound design techniques; productivity; quality; responsiveness; software design; software development process; software engineering;
