Balancing agility and formalism in software engineering
: revised selected papers / Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE SET 2007, Poznań, Poland, October 10 - 12, 2007 / Bertrand Meyer ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5082)
ISBN 978-3-540-85279-7
Lizenzpflichtig
Quelle: DNB
Software engineering approaches for offshore and outsourced development
: first international conference ; revised papers / SEAFOOD 2007, Zurich, Switzerland, February 5 - 6, 2007. Bertrand Meyer ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4716)
ISBN 978-3-540-75542-5
Lizenzpflichtig
Quelle: DNB
Verified software: theories, tools, experiments
: first IFIP TC 2/WG 2.3 conference ; revised selected papers and discussions / VSTTE 2005, Zurich, Switzerland, October 10 - 13, 2005. Bertrand Meyer ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4171)
ISBN 978-3-540-69149-5
Lizenzpflichtig
Quelle: DNB
