2. FM+AM 2010: Pisa, Italy

Stefan Gruner, Bernhard Rumpe (Eds.): FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy). LNI 179 GI 2010, ISBN 978-3-88579-273-4

Part I: Invited Lecture

Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff:
Are Formal Methods Ready for Agility? A Reality Check. 13-25

Part II: Reviewed Papers

Vieri Del Bianco, Dragan Stosic, Joseph R. Kiniry:
Agile Formality: A Mole of Software Engineering Practices. 29-48
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. 49-62
David Faragó:
Improved Underspecification for Model-based Testing in Agile Development. 63-78
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova:
An Experience on Formal Analysis of a High-Level Graphical SOA Design. 79-98

Last update Fri May 25 08:14:13 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page