The differences in the above title to the original title of #x2018;A justification of formal methods#x2019; reflect the three main themes of this paper: #x2022; 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, since the publication of the paper with the original title (in Software and Microsystems, August 1982) #x2022; the growing dissatisfaction of both the academic and industrial communities with the use of the term #x2018;method#x2019; in this context #x2022; 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, albeit not sufficient, factor in their quest for increased quality, productivity, responsiveness and manageability in the software development process.
展开▼