FM+AM

201020102010

Keyphrases

Publications

2010

Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff
Are Formal Methods Ready for Agility? A Reality Check. FM+AM (2010)
David Faragó
Improved Underspecification for Model-based Testing in Agile Development. FM+AM (2010)
Patrick Heckeler, Jörg Behrend, Thomas Kropf, Jürgen Ruf, Wolfgang Rosenstiel, Roland J. Weiss
State-based Analysis and UML-driven Equivalence Checking for C++ State Machines. FM+AM (2010)
Vieri Del Bianco, Dragan Stosic, Joseph R. Kiniry
Agile Formality: A Mole of Software Engineering Practices. FM+AM (2010)
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
An Experience on Formal Analysis of a High-Level Graphical SOA Design. FM+AM (2010)
FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy) FM+AM (2010)