B 2007: formal specification and development in B
: proceedings / 7th International Conference of B Users, Besançon, France, January 17 - 19, 2007. Jacques Julliand ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4355)
ISBN 978-3-540-68761-0
Lizenzpflichtig
Quelle: DNB
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
Basiswissen Software-Projektmanagement
: Aus- und Weiterbildung zum Certified Project Manager nach iSQI-Standard / Bernd Hindel, .... - 1. Aufl. - Heidelberg : dpunkt-Verl., 2004. - XIV, 225 S. : Ill., graph. Darst.
ISBN 3-89864-230-5 ca. € 39,00
Quelle: Stadtbibliothek Salzburg
Bauer, Günther: Bausteinbasierte Software
: eine Einführung in moderne Konzepte des Software-Engineering / Günther Bauer. - Braunschweig : Vieweg, 2000. - VIII, 192 S. : graph. Darst.; 24 cm - (Vieweg-Lehrbuch)
ISBN 978-3-528-05722-0 / 3-528-05722-X kart. : DM 59.80
Literaturverz. S. 187 - 191
Quelle: DNB
Benutzergerechte Software-Gestaltung
: Standards, Methoden und Werkzeuge / hrsg. von Jürgen Ziegler ; Rolf Ilg. - München : Oldenbourg, 1993. - 233 S. : graph. Darst.; 24 cm
ISBN 978-3-486-22110-7 / 3-486-22110-8 Pp. : DM 68.00
Literaturangaben
Quelle: DNB
Benutzerorientierte Software-Entwicklung
: Konzepte, Methoden und Vorgehen zur Benutzerbeteiligung / Matthias Rauterberg .... - Zürich : vdf, Hochschulverl. an der ETH Zürich, 1994. - 224 S. : Ill., graph. Darst.; 23 cm - (Mensch, Technik, Organisation; Bd. 3)
ISBN 978-3-519-02159-9 / 3-519-02159-5 kart. : DM 58.00, S 453.00
Literaturverz. S. 202 -211
Quelle: DNB
Best practices in software measurement
: how to use metrics to improve project and process performance ; with 37 tables / Christof Ebert .... - Berlin : Springer, 2005. - XI, 295 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-20867-9 / 3-540-20867-4 Pp. : EUR 58.80 (freier Pr.), sfr 97.50 (freier Pr.)
Literaturverz. S. 279 - 289
Quelle: DNB Verlagsmeldungen
Biologically inspired approaches to advanced information technology
: second international workshop ; proceedings / BioADIT 2006, Osaka, Japan 26 - 27, 2006. Auke Jan Ijspeert ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3853)
ISBN 978-3-540-32438-6
Lizenzpflichtig
Quelle: DNB
Biologically inspired approaches to advanced information technology
: second international workshop ; proceedings / BioADIT 2006, Osaka, Japan 26 - 27, 2006. Auke Jan Ijspeert ... (ed.). - Berlin : Springer, 2006. - XIV, 388 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3853)
ISBN 978-3-540-31253-6 / 3-540-31253-6 kart. : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Lano, Kevin: The B language and method
: a guide to practical formal development / K. Lano. - London : Springer, 1996. - 232 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-76033-7 / 3-540-76033-4 kart. : DM 78.00
Literaturverz. S. 199 - 202
Quelle: DNB
