Are formal methods ready for agility? A reality check
dc.contributor.author | Gorm Larsen, Peter | |
dc.contributor.author | Fitzgerald, John | |
dc.contributor.author | Wolff, Sune | |
dc.contributor.editor | Gruner, Stefan | |
dc.contributor.editor | Rumpe, Bernhard | |
dc.date.accessioned | 2019-01-17T10:55:42Z | |
dc.date.available | 2019-01-17T10:55:42Z | |
dc.date.issued | 2010 | |
dc.description.abstract | The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting to combine two approaches which are seen as orthogonal or even opposing, and to what extent do formal methods already support the principles of agility? Based on the authors' experience in applying lightweight tool-supported formal methods in industrial projects, this paper assesses the readiness of formal methods technologies for supporting agile techniques and identified areas in which new research could improve the prospects of synergy between the two approaches in future. | en |
dc.identifier.isbn | 978-3-88579-273-4 | |
dc.identifier.pissn | 1617-5468 | |
dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/19657 | |
dc.language.iso | en | |
dc.publisher | Gesellschaft für Informatik e.V. | |
dc.relation.ispartof | FM+AM`2010 – Second International Workshop on Formal Methods and Agile Methods | |
dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-179 | |
dc.title | Are formal methods ready for agility? A reality check | en |
dc.type | Text/Conference Paper | |
gi.citation.endPage | 25 | |
gi.citation.publisherPlace | Bonn | |
gi.citation.startPage | 13 | |
gi.conference.date | 17 September 2010 | |
gi.conference.location | Pisa, Italy | |
gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1