Seminar „Qualität von Software und Software-Modellen“
Sommersemester 2004
1.
Qualitätsbegriff
von Software und Software-Prozessen
Student: Herden
Betreuer: Prof. Engels
Vortrag: 10.5.2004, 8:45 - 9:30
2.
Qualitätssicherung
durch Softwarearchitekturen
Student: Vollstedt
Betreuer: Prof. Engels
Vortrag: 10.5.2004, 9:30 - 10:15
3.
Qualitätssicherung
durch Einsatz von Patterns
Student: Ditz
Betreuer: Prof. Engels
Vortrag: 10.5.2004, 10:30 - 11:15
4.
Qualitätssicherung
durch Refactoring
Student: Heidenreich
Betreuer: Jochen Küster
Vortrag: 10.5.2004, 11:15 - 12:00
5.
Softwareanalyse:
Begriffe und Techniken
Student: Pepping
Betreuer: Prof. Engels
Vortrag: 10.5.2004, 12:00 - 12:45
6. Grundlagen von
Model Checking - Automaten
Student: Leche
Betreuer: Prof. Schäfer
Vortrag: 11.5.2004, 8:45 - 9:30
7. Grundlagen von
Model Checking - Temporale Logik
Student: Krause
Betreuer: Prof. Schäfer
Vortrag: 11.5.2004, 9:30 - 10:15
8.
Der Model Checker SPIN + Demonstration
Student: Brüseke
Betreuer: Prof. Schäfer
Vortrag: 11.5.2004, 10:30 - 11:15
9.
Model Checking Beispiele aus der Praxis
Student: Opel
Betreuer: Jochen Küster
Vortrag: 11.5.2004, 11:15 - 12:00
10.
Model
Checking von Java Programmen mit Java PathFinder
Student: vom Hagen
Betreuer: Jochen Küster
Vortrag: 11.5.2004, 13:15 - 14:00
11.
Grundlagen
von Testen und Testmodellen
Student: Ewers
Betreuer: Prof. Engels
Vortrag: 11.5.2004, 14:00 - 14:45
12.
Qualitätsverbesserung durch Traceability I
Student: Minzenmay
Betreuer: Jochen Küster
Vortrag: 13.5.2004, 8:45 - 9:30
13. Roundtrip Engineering inkl. Modellsimulation
Student: Platta
Betreuer: Prof. Schäfer
Vortrag: 13.5.2004, 9:30 - 10:15
14.
Grundlagen von Softwareprozessen (CMM)
Student: Knies
Vortrag: 13.5.2004, 10:30 - 11:15
15.
Prozessmodellierungssprachen
Student: Wehner
Betreuer: Jochen Küster
Vortrag: 13.5.2004, 11:15 - 12:00
Hinweise zur
Seminarerarbeitung auf Webseite: