|
|
 |
|
|
 |
|
|
|
| |
Die Vorlesung vermittelt grundlegende Konzepte und Methoden auf speziellen Gebieten der Softwaretechnologie. Sie ermöglicht einen Einblick in akademische und praktische Technologien und Vorgehensweisen bei der Entwicklung von großen Softwaresystemen.
Verfahren zur Spezifikation: algebraische Spezifikation, Z, Object Z, Entity-Relationship-Diagramme, datenflussorientierte Spezifikation (SADT, DFD), daten- und kontrollflussorientierte Spezifikation (Petrinetze) und objektorientierte Spezifikation. Strategien, Techniken und Methoden des Testens auf verschiedenen Ebenen: Vom Testen einzelner Methoden/Prozeduren bis hin zum Testen von großen komponentenbasierten Systemen. Des weiteren wird auf generative Software-Entwicklung und andere aktuelle Themen eingegangen.
|
|
|
|
|
|
|
|
|
| |
Am 19. Februar 2007 um 10:00 Uhr s.t. wird im Großen Hörsaal des Carl-Ludwig-Instituts eine 60-minütige Klausur über die Inhalte der Vorlesung geschrieben.
Die Online-Anmeldung beim Prüfungsamt war bis zum 18. Januar 2007 möglich.
Die Ergebnisse der Live-Korrektur vom gleichen Tag sind online abrufbar.
Am Donnerstag, 1. März 2007 besteht von 9:00-10:00 Uhr Gelegenheit zur Klausureinsicht am Lehrstuhl.
Die Nachprüfung findet in Form von individuellen Prüfungsgesprächen mit Prof. Gruhn statt. Bitte wenden Sie sich zur Vereinbarung eines Termins an Katrin Fehér.
|
|
|
|
|
|
|
|
|
|
| |
- I. Sommerville, Software Engineering, Addison-Wesley
- H. Balzert, Lehrbuch der Software-Technik, Band 2, Spektrum Akademischer Verlag
- C. Ghezzi, M. Jazayeri, D. Mandrioli: Fundamentals of Software Engineering, Prentice-Hall
- A.M. Davis: 201 Principles of Software Development, McGraw-Hill
- Gao, J. et. Al.: Testing and Quality Assurance for Component-Based Software, Artech House
- Meyers, G.: The Art of Software Testing, Wiley&Sons
- Riedemann, E.H.: Testmethoden für sequentielle und nebenläufige Software-Systeme, Teubner
- Weitere Literatur wird in den jeweiligen Vorlesungen genannt.
|
|
|
|
|
|
Über LPZ E-BUSINESS
Lehre
Lehrveranstaltungen
Übungen
Agile MDA
Series
