Agile Formal Method Engineering

Richard F. Paige, Phillip J. Brooke

Research output: Contribution to conferencePaperpeer-review


Software development methods are software products, in the sense that they should be engineered by following a methodology to meet the behavioural and non-behavioural requirements of the intended users of the method. We argue that agile approaches are the most appropriate means for engineering new methods, and particularly for integrating formal methods. We show how agile principles and practices apply to engineering methods, and demonstrate their application by integrating parts of the Eiffel development method with CSP.
Original languageUndefined/Unknown
Number of pages19
Publication statusPublished - 2005

Cite this