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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
The Agile Manifesto (2003), http://www.agilemanifesto.org
Abdullah, M.S., Kimble, C., Paige, R.F., Benest, I.D., Evans, A.S.: Developing a UML profile for modelling knowledge-based systems. In: Proc. MDA: Foundations and Applications 2004. LNCS. Springer, Heidelberg (2004)
Abrial, J.-R.: The B-Book, Cambridge (1996)
Ambler, S.: Process Patterns, Cambridge (1998)
Ambler, S.: Agile Modeling. John Wiley, Chichester (2002)
Beck, K.: Extreme Programming Explained. Addison-Wesley, Reading (2000)
Beck, K.: Test-Driven Development. Addison-Wesley, Reading (2002)
Brooke, P.J.: A timed semantics for a hierarchical design notation, DPhil Thesis, University of York (1999)
Brooke, P.J., Paige, R.F.: Simulating CSP in Eiffel. Preparation (2005)
Clark, T., Evans, A., Sammut, P., Willans, J.: Applied Metamodelling (2004), Available at www.xactium.com
D’Souza, D., Wills, A.C.: Objects, Components and Frameworks with UML. AWL (1998)
Goodland, M., Slater, C.: SSADM Version 4: an Introduction. McGraw-Hill, New York (1995)
Hehner, E.C.R.: A Practical Theory of Programming, 2nd edn. Springer, Heidelberg (2003)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1986)
Ronin International. Enterprise unified process, http://www.enterpriseunifiedprocess.com
Kruchten, P.: The Rational Unified Process: an Introduction, 3rd edn. AWL (2003)
Mahony, B., Dong, J.S.: Deep semantic links of Timed CSP and Object-Z. Formal Aspects of Computing 13(2) (2002)
Meyer, B.: Object Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)
Object Modelling Group. Model Driven Architecture (2004), http://www.omg.org/mda/
Object Modelling Group. Software Process Engineering Metamodel, SPEM (2005), http://www.omg.org/technology/documents/formal/spem.htm
Chair of Software Engineering. SCOOP web pages (2005), http://se.inf.ethz.ch/scoop
Paige, R.F., Ostroff, J.S.: ERC: an object-oriented refinement calculus for Eiffel. Formal Aspects of Computing 16(1) (2004)
Paige, R.F., Ostroff, J.S., Brooke, P.J.: Principles of modelling language design. Information and Software Technology 42(10) (2000)
Palmer, S., Felsing, M.: A Practical Guide to Feature-Driven Development. Prentice-Hall, Englewood Cliffs (2002)
ModelWare EC Integrated Project, www.modelware-ist.org
Ramsin, R., Paige, R.F.: Criteria-based analysis of object-oriented software development methodologies, Technical Report, University of York, UK (2005)
Scacchi, W.: Process models in software engineering. In: Encyclopedia of Software Engineering, 2nd edn. Wiley, Chichester (2001)
Welch, P., Aldous, J., Foster, J.: CSP networking for Java (CSP.net). In: Proc. ICCS 2002. LNCS. Springer, Heidelberg (2002)
Xactium. XMF user guide prerelease version 0.1 (2004), http://www.xactium.com
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Paige, R.F., Brooke, P.J. (2005). Agile Formal Method Engineering. In: Romijn, J., Smith, G., van de Pol, J. (eds) Integrated Formal Methods. IFM 2005. Lecture Notes in Computer Science, vol 3771. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11589976_8
Download citation
DOI: https://doi.org/10.1007/11589976_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30492-0
Online ISBN: 978-3-540-32240-5
eBook Packages: Computer ScienceComputer Science (R0)