Jahresbericht 2008 - Fakultät für Elektrotechnik, Informatik und ...
Jahresbericht 2008 - Fakultät für Elektrotechnik, Informatik und ...
Jahresbericht 2008 - Fakultät für Elektrotechnik, Informatik und ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Datenbank- <strong>und</strong> Informationssysteme<br />
Prof. Dr. rer. nat. Gregor Engels<br />
„Qualitätssicherung durch modellbasierte Softwareentwicklung“<br />
Die große Herausforderung moderner<br />
Softwareentwicklung besteht darin, die<br />
vielfältigen Anforderungen von Nutzern<br />
systematisch in komplexe Software -<br />
systeme umzusetzen. Um diese Heraus -<br />
forderung zu bewältigen, werden<br />
Modelle auf verschiedenen Abstrak -<br />
tionsebenen auf dem Weg von der<br />
Problemstellung zum Softwareprodukt<br />
eingesetzt. Diese Modellierung macht<br />
die Komplexität der Entwicklungs auf -<br />
gabe beherrschbar <strong>und</strong> erlaubt eine<br />
Systematisierung des Entwicklungspro<br />
zesses.<br />
Modelle <strong>für</strong> die Softwareentwicklung<br />
sind daher zentraler Forschungsgegen -<br />
stand der FG Datenbank- <strong>und</strong> Informa -<br />
Institut <strong>für</strong> <strong>Informatik</strong><br />
Softwaretechnik <strong>und</strong> Informationssysteme<br />
60<br />
tionssysteme. Das Spektrum unserer<br />
Forschung reicht von den formalen<br />
Gr<strong>und</strong>lagen visueller Modellierungs -<br />
sprachen über konstruktive <strong>und</strong> analytische<br />
Ansätze zur Qualitätssicherung<br />
von Modellen bis zu deren praxisorientierter<br />
Anwendung in aktuellen Tech -<br />
nologiebereichen wie Web Services,<br />
Produktlinien <strong>und</strong> service-orientierten<br />
Architekturen. Aufbauend auf etablierten<br />
Industriestandards wie UML <strong>und</strong><br />
XML entwickeln wir Modellierungs tech -<br />
niken, Konzepte <strong>und</strong> Methoden <strong>für</strong><br />
kommende Softwaregenerationen.<br />
Durch das Analysieren von Modellen<br />
mit formalen Techniken können wir<br />
Fehler frühzeitig erkennen, visualisieren<br />
<strong>und</strong> beheben. Unsere Entwicklungs -<br />
werkzeuge leisten damit einen aktiven<br />
Beitrag zur Qualitätssteigerung in der<br />
Softwareentwicklung.<br />
Prof. Dr. rer. nat. Gregor Engels<br />
ist seit 1997 Professor <strong>für</strong> Datenbank- <strong>und</strong><br />
Informationssysteme an der Universität<br />
Paderborn.<br />
Er promovierte 1986 an der Universität<br />
Osnabrück in <strong>Informatik</strong> <strong>und</strong> war von 1991 bis<br />
1997 Professor <strong>für</strong> Software Engineering <strong>und</strong><br />
Informationssysteme an der Universität Leiden<br />
(NL). Er ist Vorstandsvorsitzender des s-lab<br />
(Software Quality Lab) <strong>und</strong> Sprecher der Pader -<br />
borner Initiative „Industrie trifft Infor matik“.<br />
Seit 2005 ist er wissenschaftlicher Leiter von<br />
Capgemini sd&m Research, München.<br />
www.cs.upb.de/fachgebiete/fg-engels