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