Software Engineering Techniques: Balancing Agility and Formalism : Preprint of the Proceedings of CEE-SET ´07 - Meyer, Bertrand; Nawrocki, Jerzy R.; Walter, Bartosz (IFIP, 2007)