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 - Meyer, Bertrand; Nawrocki, Jerzy R.; Walter, Bartosz (Springer Berlin Heidelberg : Imprint: Springer, 2008)