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
