(Klassifikation in der FB-Bibliothek: XD.2)

 

(Klassische Softwaretechnik)

Helmut Balzert: Lehrbuch der Softwaretechnik. Spektrum Akademischer Verlag 1996 (Band 1), 1998 (Band 2)

B.-U. Pagel, H.-W. Six: Software Engineering, Band 1. Addison-Wesley 1994

I. Sommerville: Software Engineering (5. Ed.). Addison-Wesley 1996

M. Nagl: Softwaretechnik - Methodisches Programmieren im Großen. Springer-Verlag 1990
 

(Objektorientierung)

B. Oestereich: Objektorientierte Softwareentwicklung. Oldenbourg 1998

G. Booch, I. Jacobson: Unified Modeling Language User Guide. Addison-Wesley 1998

T. Quatrani: Visual Modeling with Rational Rose and UML. Addison-Wesley 1998

A. J. Riel: Object-Oriented Design Heuristics. Addison-Wesley 1996

H. Züllighoven: Das objektorientierte Konstruktionshandbuch. dpunkt 1998

Heide Balzert: Methoden der objektorientierten Systemanalyse. BI-Wissenschaftsverlag 1995

D. Coleman et al: Object-Oriented Development - The Fusion Method. Prentice-Hall 1994

I. Jacobson: Object-Oriented Software Engineering. Addison-Wesley 1992

J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen: Object-Oriented Modelling and Design. Prentice-Hall 1991. Deutsch: Objektorientiertes Modellieren und Entwerfen. Hanser 1994

A. Elins: Principles of Object-Oriented Software Development. Addison-Wesley 1995

C. Cook, J. Daniels: Designing Object Systems. Prentice-Hall 1994

E. Gamma, R. Helm, R. Johnson, J. Vlissides: Design Patterns - Elements of Reusable Object-Oriented Software. Addison-Wesley 1995. Deutsch: Entwurfsmuster. Addison-Wesley 1996

P. Hruschka: Objektorientierte Systementwicklung. Hanser 1994

(Architektur, Komponenten)

F. Buschmann u.a.: Pattern-Oriented Software Architecture - A System of Patterns. Wiley 1996

M. Shaw, D. Garlan: Software Architecture. Prentice-Hall 1996

C. Szyperski: Component Software. Addison-Wesley 1998

F. Griffel: Componentware. dpunkt 1998

(sprachorientiert)

B. Meyer: Object-Oriented Software Construction (2. Ed.). Prentice-Hall 1997

G. Pomberger: Softwaretechnik und Modula-2. Hanser 1984

M. Mullin: Object-Oriented Program Design with Examples in C++. Addison-Wesley 1989

(Formale Methoden)  

B. Potter et al.: An Introduction to Formal Specification and Z. Prentice-Hall 1996

J. Woodcock, J. Davies: Using Z. Prentice-Hall 1996

J. B. Wordsworth: Software Development with Z. Addison-Wesley 1992

J. M. Spivey: The Z Notation: A Reference Manual. Prentice-Hall 1990

K. Lano, H. Haughton: Object-Oriented Specification Case Studies. Prentice-Hall 1994

A. Norcliffe, G. Slater: Mathematics of Software Construction. Ellis-Horwood 1991

K. R. Apt, E.-R. Olderog: Programmverifikation. Springer 1994

N. Francez: Program Verification. Addison-Wesley 1992

(zur Horizonterweiterung)

J. Weizenbaum: Die Macht der Computer und die Ohnmacht der Vernunft. Besonders Kap. 9. Suhrkamp 1977

R. Budde, Ch. Floyd, R. Keil- Slawik, H. Züllighoven (Eds.): Software Development and Reality Construction. Springer 1991

B. Dahlbom, L. Mathiassen: Computers in Context. Blackwell 1993

F. Brooks: The Mythical Man-Month/Essays on Software-Engineering. Addison-Wesley 1975