Agile formal method engineering

P. J. (Phillip) Brooke, R. F. (Richard) Paige

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Original languageEnglish
    Title of host publicationLecture notes in computer science
    Volume3771
    DOIs
    Publication statusPublished - 2005

    Bibliographical note

    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.

    Cite this

    Brooke, P. J. P., & Paige, R. F. R. (2005). Agile formal method engineering. In Lecture notes in computer science (Vol. 3771) https://doi.org/10.1007/11589976_8