Agile formal method engineering

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

doi:10.1007/11589976_8

Agile formal method engineering

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Lecture notes in computer science
Volume	3771
DOIs	https://doi.org/10.1007/11589976_8
Publication status	Published - 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.

Access to Document

10.1007/11589976_8

http://hdl.handle.net/10149/58292

Cite this

@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",

}

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 -