balancing agility and formalism in software engineering,second ifip tc 2 central and east conference on software engineering techniques, cee-set 2007, pozna

meyer (edt) · springer-verlag new york inc