Agile Formal Method Engineering

Research output: Contribution to conferencePaper



Publication details

DatePublished - 2005
Number of pages19
Original languageUndefined/Unknown


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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations