"Balancing Agility and Formalism in Software Engineering, 2 conf., CEE-SET 2007" - читать интересную книгу автора (Bertrand Meyer)