Donnerstag, 21. 9. 2000
14:00	Hauptvortrag Formale und stochastische Methoden zur Qualitätssicherung technischer Software Prof. Dr. Peter Liggesmeyer (Universität Potsdam, HPI für Softwaresystemtechnik) Sitzungsleitung: Prof. Dr. Gregor Snelting (Universität Passau)
15:00
15:30	Bank2010: Eine fachliche und technische Vision Sanjay Dewal, Ludger Schnichels (Debis Systemhaus) XML-basierte Internetanbindung technischer Prozesse Stephan Eberle (Universität Stuttgart) Improving the Validation Process for a Better Field Quality in a Product Line Architecture Christof Ebert (Alcatel, Antwerpen, Belgien) Sitzungsleitung: Prof. Dr. Udo Kelter (Universität Siegen)
Freitag, 22. 9. 2000
9:00	Hauptvortrag Do We Really Need Requirements? Dr. Alan Davis (Omni-Vista, Inc., Colorado Springs) Sitzungsleitung: Prof. Dr. Jochen Ludewig (Universität Stuttgart)
10:00
10:30	Entwurfsmustergesteuerte Erzeugung von OCL-Constraints Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt (Universität Karlsruhe) Interaktionsdiagramme mit Datenspezifikation zur Darstellung verteilter Systeme Thomas Gehrke (TU Braunschweig) Weiterentwicklung objektorientierter Softwaresysteme: Risiken und deren Vermeidung Jens Uwe Pipka (Daedalos Consulting), Mira Mezini (Universität Siegen) Komponentenbasierte und generatorunterstützte Entwicklung multimedialer Lehr-und Lernsysteme Christian Weidauer (Universität Bochum) Sitzungsleitung: Prof. Dr. Klaus-Peter Löhr (FU Berlin)