Managing the introduction of formal methods

Examines the role of management in the introduction of formal or rigorous methods for software development. The author discusses three questions which managers must address: is a rigorous development method appropriate for the systems being developed by the organisation, what parts of the development process should be treated rigorously and how should rigorous methods be introduced