| |
Die Vorlesung (V4 + Ü2, 9 LP) ergänzt die Grundlagen aus Softwaretechnik I um fortgeschrittene Verfahren
der Softwaretechnik sowie um Fragen des Managements von
Softwareprojekten:
- Moderne Programmierkonzepte (Aspektorientierte,
generative und komponentenbasierte Programmierung)
- Software-Prozesse (Testprozeß, ISO9000, Maturity-Modell,
Extreme Programming)
- Validierung (Testverfahren, Zuverlässigkeitsschätzung, Werkzeuge)
- Verifikation (formale Spezifikation, Reifikation, Programmbeweis)
- Analytische Qualitätssicherung (Model Checking)
- Software-Wartung (Konfigurationsmanagement, Reengineering, Restrukturierung)
- Projektorganisation/Organisationsstruktur, Aufwands- und Zeitschätzungen
- Personalauswahl und -einsatzplanung, Kommunikation im Projekt,
Mitarbeiterbeurteilung
- Metriken, Projektcontrolling, Business Case und
Change Request Management, Risiko- und Qualitätsmanagement
Dozenten sind Prof. Andreas Zeller und Prof. Joachim Hertel.
Vorlesungstermine: Mo + Mi 9-11, Geb. 45, HS 1
Vorlesungsbeginn: Mittwoch, 10. April.
Übung: Do 16-18, Geb. 45, HS 3
Übungsbeginn: Donnerstag, 18. April.
Prüfungen
Hier finden Sie den Prüfungsplan.
Falls Sie noch keinen Termin haben wenden Sie sich bitte an Professor Zeller.
Vorlesungsplan und Materialien
Die PDF-Folien sind für Präsentationen am Bildschirm geeignet, die
PostScript-Dokumente zum Ausdrucken.
Datum | Dozent | Themen |
Mi 10.04. | Zeller | Einführung
[PDF]
[PS]
Programmierparadigmen I: Aspektorientierte Programmierung
[PDF]
[PS]
|
Mo 15.04. | Hertel |
Übersicht Organisation der Software-Entwicklung
[PDF]
|
Mi 17.04. | Zeller | Programmierparadigmen II: Generative Programmierung
[PDF]
[PS]
|
Mo 22.04. | Hertel | s.o. |
Mi 24.04. | Zeller | Programmierparadigmen III: Komponentenbasierte Programmierung
[PDF]
[PS]
|
Mo 29.04. | Hertel |
Software-Management
[PDF]
|
Mo 06.05. | Hertel | s.o. |
Mi 08.05. | Zeller | Web-Dienste
[PDF]
[PS]
|
Mo 13.05. | Hertel |
Organisation
[PDF]
|
Mi 15.05. | Zeller |
Übersicht Formale Spezifikation
[PDF]
[PS]
Formale Spezifikation mit Z
[PDF]
[PS]
|
Mi 22.05. | Zeller |
Programmbeweise mit Z
[PDF]
[PS]
|
Mo 27.05. | Hertel | s.o. |
Mi 29.05. | Zeller |
Programmieren mit Z
[PDF]
[PS]
|
Mo 03.06. | Hertel |
Personal
[PDF]
|
Mi 05.06. | Zeller |
Model Checking
[PDF]
[PS]
|
Mo 10.06. | Hertel |
Leitung
[PDF]
|
Mi 12.06. | Zeller |
Software-Metriken
[PDF]
[PS]
|
Mo 17.06. | Hertel |
Prozessqualität
[ZIP](1,3M)
|
Mi 19.06. | Zeller |
Strukturelle Testverfahren
[PDF]
[PS]
|
Mo 24.06. | Hertel | |
Mi 26.06. | Zeller |
Funktionale Testverfahren
[PDF]
[PS]
|
Mo 01.07. | Hertel |
Projektmanagement bei der Infor AG [PDF](4MB,neu)[ZIP](2MB,neu)
|
Mi 03.07. | Zeller |
Programmverstehen
[PDF]
[PS]
|
Mo 08.07. | Hertel |
Projektmanagement bei der Infor AG [PDF](4MB,neu)[ZIP](2MB,neu)
|
Mi 10.07. | Zeller |
Restrukturierung
[PDF]
[PS]
|
Übungsblätter
Impressum ● Datenschutzerklärung
<webmaster@st.cs.uni-saarland.de> · http://www.st.cs.uni-saarland.de/edu/se2/ · Stand: 2018-04-05 13:40
|
---|