GI Proceedings 179 FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods (2010, Taschenbuch)