Balancing Agility and Formalism in Software Engineering

This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference on Software Engineering Techniques, CEE-SET 2007, held in Poznan, Poland, in October 2007.The 21 revised full papers presented together with 2 keynote addresses were carefully reviewed and selected from 73 initial submissions. The papers are organized in topical sections on...