Logo des Repositoriums
 
Konferenzbeitrag

Agile formality: A "Mole" of software engineering practices

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2010

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, as highlighted by the September 2009 issue of IEEE Software, the IFIP workshop on balancing agility and formalism in software engineering, and the first edition of the international workshop for formal methods and agile methods, ideas from the two communities begun synthesize. While the problem-solving approaches and psychological attitudes of members of the two communities differ widely, we exploit this clash of viewpoints, creating a new development processes that actually blends, rather than mashes together, best practices from the two worlds. This paper summarizes our process and a supporting complex case study, showing that it is not only possible, but tasty, to combine the “chili pepper” of formal methods and the “chocolate” of agile programming, thus producing a tasty “Mole” (as in the highlyspiced Mexican sauce) of software engineering practices.

Beschreibung

Bianco, Vieri del; Stosic, Dragan; Kiniry, Joseph R. (2010): Agile formality: A "Mole" of software engineering practices. FM+AM`2010 – Second International Workshop on Formal Methods and Agile Methods. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-273-4. pp. 29-48. Regular Research Papers. Pisa, Italy. 18 September 2010

Schlagwörter

Zitierform

DOI

Tags