Baumann, Kathrin: Unterstützung der objektorientierten Systemanalyse durch Softwaremasse

: Entwicklung eines messbasierten Modellierungsratgebers / Kathrin Baumann. - Heidelberg : Physica-Verl., 1997. - VIII, 216 S. : graph. Darst.; 24 cm - (Beiträge zur Wirtschaftsinformatik; Bd. 23)

ISBN 978-3-7908-1018-9 / 3-7908-1018-5 kart. : DM 85.00, sfr 75.00, S 620.50

Quelle: DNB

Verification of object oriented software

: the KeY approach / Bernhard Beckert ... (ed.). Foreword by K. Rustan M. Leino. - Berlin : Springer, 2007. - XXIX, 658 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4334 : Lecture notes in artificial intelligence)

ISBN 978-3-540-68977-5 / 3-540-68977-X kart. : EUR 70.62 (freier Pr.), sfr 117.00 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Verification of object oriented software

: the KeY approach / Bernhard Beckert ... (ed.) .... - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4334 : Lecture notes in artificial intelligence)

ISBN 978-3-540-69061-0

Lizenzpflichtig

Quelle: DNB

Ruske, Natascha: Wiederverwendung fördernde Dokumentation objektorientierter Anwendungsentwicklung am Beispiel eines Liegenschaftsverwaltungssystems

/ Natascha Ruske. - Frankfurt am Main : Lang, 2000. - 183 S. : graph. Darst.; 21 cm - (Schriften zur Wirtschaftsinformatik; Bd. 11)

ISBN 978-3-631-35584-8 / 3-631-35584-X kart. : ca. DM 69.00 (freier Pr.)

Quelle: DNB

Appelfeller, Wieland: Wiederverwendung im objektorientierten Softwareentwicklungsprozess

: dargestellt am Beispiel der Entwicklung eines Lagerlogistiksystems / Wieland Appelfeller. - Frankfurt am Main : Lang, 1995. - 241 S. : graph. Darst.; 21 cm - (Schriften zur Wirtschaftsinformatik; Bd. 4)

ISBN 978-3-631-48675-7 / 3-631-48675-8 kart. : ca. DM 69.00 (freier Pr.)

Quelle: DNB