1. Software-Lebenszyklusmodelle. -Probleme. -Referenzen. - 2. Objektorientierte Konzepte und Modellierung. - 2. 1. Grundbegriffe des objektorientierten Paradigmas. - 2. 2. Objektmodellierung. - 2. 3. Erweiterte Objektmodelle. -Probleme. -Referenzen. - 3. Formale Spezifikation und Verifizierung. - 3. 1. Logik erster Ordnung. - 3. 2. Logik und Datenbank. - 3. 3. Formale Spezifikation in Z. - 3. 4. Objektorientiertes Logiksystem. - 3. 5. Algebraische Spezifikationen. - 3. 6. Petri-Netze. - 3. 7. Überprüfung der Spezifikationen. - 3. 8. Abschließende Bemerkungen. -Probleme. -Referenzen. - 4. Designmethoden und Spezifikationen. - 4. 1. Entwerfen Sie Konzepte. - 4. 2. Prozessbeschreibungssprachen und Designmethoden. - 4. 3. Dynamische und funktionale Modellierung. - 4. 4. Objektorientierte Designmethoden. - 4. 5. Design-Verifizierung und CASE-Tools. -Probleme. -Referenzen. - 5. Programmierung und Codierung. - 5. 1. Objektorientierte Programmiersprachen. - 5. 2. C++. - 5. 3. SMALLTALK. - 5. 4. Verteilte Programmiersprachen. - 5. 5. Kommunikation von sequenziellen Prozessen und OCCAM. -Probleme. -Referenzen. - 6. Programmierwerkzeuge. - 6. 1. Objektorientierte Programmierung für Windows. - 6. 2. IDEAn interaktiver Programmierumgebung. - 6. 3. X-Window-Programmierung. - 6. 4. UNIX-Netzwerkprogrammierung. -Probleme. -Referenzen. - 7. Deklarative Programmierung. - 7. 1. Programmierung auf sehr hohem Niveau. - 7. 2. Objektorientierte deklarative Programmierung. - 7. 3. Logische ProgrammierungPROLOG. - 7. 4. COMPOSEAn objektorientierte Programmierumgebung. -Probleme. -Referenzen. - 8. Automatische Programmsynthese und -wiederverwendung. - 8. 1. Deduktive Programmsynthese. - 8. 2. Transformative Programmsynthese. - 8. 3. Programmabstraktion und Instanziierung. - 8. 4. Automatische Wiederverwendung von Software. -Probleme. -Referenzen. - 9. Programmverifizierung und -tests. - 9. 1. Formale Programmverifizierung. - 9. 2. Black-Box-Tests. - 9. 3. Strukturelle Prüfung. -9. 4. Fehlerbasiertes Testen. - 9. 5. Automatische Generierung von Testfällen. - 9. 6. Testen und Debuggen verteilter Programme. - 9. 7. Analysetools und Software-Metriken. -Probleme. -Referenzen. - 10. Software-Wartung. - 10. 1. Komponenten der Softwarewartung. - 10. 2. Datenbank- und Softwarewartung. - 10. 3. Programmierung von Objektbasen. - 10. 4. Programmmanagement. - 10. 5. Reverse Engineering und Design-Recovery. -Probleme. -Referenzen. - 11. Fortgeschrittene Programmierumgebungen. - 11. 1. Wissensbasierte Programmierumgebungen. - 11. 2. Visuelle Programmierumgebungen. - 11. 3. Verteilte objektorientierte Programmiersysteme. - 11. 4. Komponenten-Software. - 11. 5. Programmierumgebungen für Concurrent Engineering. -Referenzen. - 12. Weitere ausgewählte Themen. - 12. 1. Projektmanagement. - 12. 2. Fehlertolerantes Systemdesign. - 12. 3. Simulation diskreter Ereignisse. - 12. 4. Internet-Programmierung. -Referenzen. Sprache: Englisch