Agile formal method engineering

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

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

    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
    Brooke, P. J. (Phillip) ; Paige, R. F. (Richard). / Agile formal method engineering. Lecture notes in computer science. Vol. 3771 2005.
    @inproceedings{aec542e1bd274014afba743e72771850,
    title = "Agile formal method engineering",
    author = "Brooke, {P. J. (Phillip)} and Paige, {R. F. (Richard)}",
    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.",
    year = "2005",
    doi = "10.1007/11589976_8",
    language = "English",
    volume = "3771",
    booktitle = "Lecture notes in computer science",

    }

    Brooke, PJP & Paige, RFR 2005, Agile formal method engineering. in Lecture notes in computer science. vol. 3771. https://doi.org/10.1007/11589976_8

    Agile formal method engineering. / Brooke, P. J. (Phillip); Paige, R. F. (Richard).

    Lecture notes in computer science. Vol. 3771 2005.

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

    TY - GEN

    T1 - Agile formal method engineering

    AU - Brooke, P. J. (Phillip)

    AU - Paige, R. F. (Richard)

    N1 - 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.

    PY - 2005

    Y1 - 2005

    U2 - 10.1007/11589976_8

    DO - 10.1007/11589976_8

    M3 - Conference contribution

    VL - 3771

    BT - Lecture notes in computer science

    ER -

    Brooke PJP, Paige RFR. Agile formal method engineering. In Lecture notes in computer science. Vol. 3771. 2005 https://doi.org/10.1007/11589976_8