Hdl Handle:
http://hdl.handle.net/10149/58292
Title:
Agile formal method engineering
Book Title:
Integrated formal methods
Authors:
Brooke, P. J. (Phillip); Paige, R. F. (Richard)
Editors:
Romijn, J. (Judi)
Citation:
Brooke, P. J. and Paige, R. F. (2005) ‘Agile formal method engineering’, Integrated formal methods: 5th International Conference. Eindhoven, The Netherlands, 29 November - 2 December, in Romijn, J. (ed.) Integrated formal methods, Lecture notes in computer science. Heidelberg: Springer Berlin, pp.109-128.
Conference:
Integrated formal methods (IFM) 5th International Conference, 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005.
Issue Date:
Oct-2005
URI:
http://hdl.handle.net/10149/58292
DOI:
10.1007/11589976_8
Additional Links:
http://www.win.tue.nl/ifm/
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.
Type:
Meetings and Proceedings; Book Chapter
Keywords:
agile; development; Eiffel; software; CSP; communicating sequential processes
Series/Report no.:
Lecture notes in computer science; 3771
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo [Accessed:24/10/2014]
Citation Count:
0 [Scopus, 4/12/2009]

Full metadata record

DC FieldValue Language
dc.contributor.authorBrooke, P. J. (Phillip)-
dc.contributor.authorPaige, R. F. (Richard)-
dc.contributor.editorRomijn, J. (Judi)-
dc.date.accessioned2009-04-01T10:48:13Z-
dc.date.available2009-04-01T10:48:13Z-
dc.date.issued2005-10-
dc.identifier.doi10.1007/11589976_8-
dc.identifier.urihttp://hdl.handle.net/10149/58292-
dc.description.abstractSoftware 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.-
dc.languageen-
dc.relation.ispartofseriesLecture notes in computer science-
dc.relation.ispartofseries3771-
dc.relation.urlhttp://www.win.tue.nl/ifm/-
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo [Accessed:24/10/2014]-
dc.subjectagile-
dc.subjectdevelopment-
dc.subjectEiffel-
dc.subjectsoftware-
dc.subjectCSP-
dc.subjectcommunicating sequential processes-
dc.titleAgile formal method engineering-
dc.typeMeetings and Proceedings-
dc.typeBook Chapter-
dc.title.bookIntegrated formal methods-
dc.identifier.conferenceIntegrated formal methods (IFM) 5th International Conference, 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005.-
ref.assessmentRAE 2008-
ref.citationcount0 [Scopus, 4/12/2009]-
or.citation.harvardBrooke, P. J. and Paige, R. F. (2005) ‘Agile formal method engineering’, Integrated formal methods: 5th International Conference. Eindhoven, The Netherlands, 29 November - 2 December, in Romijn, J. (ed.) Integrated formal methods, Lecture notes in computer science. Heidelberg: Springer Berlin, pp.109-128.-
prism.startingPage109-
prism.endingPage128-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.