A rejustification of formal notations [software engineering]

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