Agile Formal Method Engineering

Research output: Contribution to conferencePaper

Standard

Agile Formal Method Engineering. / Paige, Richard F.; Brooke, Phillip J.

2005. 109-128.

Research output: Contribution to conferencePaper

Harvard

Paige, RF & Brooke, PJ 2005, 'Agile Formal Method Engineering' pp. 109-128. https://doi.org/10.1007/11589976_8

APA

Paige, R. F., & Brooke, P. J. (2005). Agile Formal Method Engineering. 109-128. https://doi.org/10.1007/11589976_8

Vancouver

Paige RF, Brooke PJ. Agile Formal Method Engineering. 2005. https://doi.org/10.1007/11589976_8

Author

Paige, Richard F. ; Brooke, Phillip J. / Agile Formal Method Engineering. 19 p.

Bibtex - Download

@conference{af4f33b0cd2d48ac8c3348fce4131646,
title = "Agile Formal Method Engineering",
abstract = "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.",
author = "Paige, {Richard F.} and Brooke, {Phillip J.}",
year = "2005",
doi = "10.1007/11589976_8",
language = "Undefined/Unknown",
pages = "109--128",

}

RIS (suitable for import to EndNote) - Download

TY - CONF

T1 - Agile Formal Method Engineering

AU - Paige, Richard F.

AU - Brooke, Phillip J.

PY - 2005

Y1 - 2005

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

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

U2 - 10.1007/11589976_8

DO - 10.1007/11589976_8

M3 - Paper

SP - 109

EP - 128

ER -