FM+AM`2010 second international workshop on formal methods and agile methods

Gesellschaft für Informatik, Bonn
2010

Contents

Articles

• Peter Gorm Larsen, John Fitzgerald, Sune Wolff
  Are formal methods ready for agility? A reality check
  Pages: 13-25... Full Text
• Vieri Del Bianco, Dragan Stosic, Joseph R. Kiniry
  Agile formality: A mole of software engineering practices
  Pages: 29-48... Full Text
• Patrick Heckeler, Jörg Behrend, Thomas Kropf, Jürgen Ruf, Wolfgang Rosenstiel, Roland Weiss
  State-based analysis and UML-driven equivalence checking for C++ state machines
  Pages: 49-62... Full Text
• David Farag
  Improved underspecification for model-based testing in agile development
  Pages: 63-78... Full Text
• Maurice H. Ter Beek, Franco Mazzanti, Aldi Sulova
  An experience on formal analysis of a high-level graphical SOA design
  Pages: 79-98... Full Text

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-273-4