Balancing Agility and Formalism in Software Engineering : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers - Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter ((Lecture Notes in Computer Science))