Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter Balancing Agility and Formalism in Software Engineering - Germany Springer 2008 ISBN: 978-3-540-85279-7 Subjects--Topical Terms: Balancing Agility and Formalism in Software EngineeringComputer Science