Preprint of the Proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009 - Szmuc, Tomasz; Szpyrka, Marcin; Zendulka, Jaroslav (AGH University of Science and Technology, 2009)