Balancing agility and formalism in software engineering : second IFIP TC 2 Central and European Conference on Software Engineering Techniques, CEE-SET 2007 : Poznań, Poland, October 10-12, 2007 : revised selected papers - Meyer, Bertrand, 1950-; Nawrocki, Jerzy Ryszard, 1956-; Walter, Bartosz (Lecture notes in computer science ;, 2008)