FM + AM '2010 second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy) - Gruner, Stefan (Ges. für Informatik, 2010)