Logo des Repositoriums
 

Are formal methods ready for agility? A reality check

dc.contributor.authorGorm Larsen, Peter
dc.contributor.authorFitzgerald, John
dc.contributor.authorWolff, Sune
dc.contributor.editorGruner, Stefan
dc.contributor.editorRumpe, Bernhard
dc.date.accessioned2019-01-17T10:55:42Z
dc.date.available2019-01-17T10:55:42Z
dc.date.issued2010
dc.description.abstractThe 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.isbn978-3-88579-273-4
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/19657
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofFM+AM`2010 – Second International Workshop on Formal Methods and Agile Methods
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-179
dc.titleAre formal methods ready for agility? A reality checken
dc.typeText/Conference Paper
gi.citation.endPage25
gi.citation.publisherPlaceBonn
gi.citation.startPage13
gi.conference.date17 September 2010
gi.conference.locationPisa, Italy
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
13.pdf
Größe:
129.19 KB
Format:
Adobe Portable Document Format