Forschungsschwerpunkte
Am s-lab beteiligen sich fünf Professoren aus dem Gebiet Softwaretechnik des Instituts für Informatik der Universität Paderborn. Ihre Forschungsgruppen liefern die notwendigen wissenschaftlichen und softwaretechnischen Kompetenzen.
Prof. Dr. Gregor Engels
Datenbank- und Informationssysteme
Modellgetriebene Softwareentwicklung (MDA, MDD); modellbasiertes und
automatisiertes Testen; Qualität von Softwaremodellen; visuelle
Modellierungssprachen (z.B. UML); Service-orientierte Architekturen
(SOA); Web-Technologien; domänenspezifische Modellierungssprachen und
Softwareentwicklungsmethoden; Open Source Software
Prof. Dr. Uwe Kastens
Programmiersprachen und Übersetzer
Entwurf, Übersetzung und Einsatz von Programmiersprachen und
anwendungsspezifischen Sprachen; Werkzeuge zur Entwicklung visueller und
textueller Sprachen; Programm-Analyse; optimierende Code-Erzeugung für
spezielle Hardwarearchitekturen; flexible Generierung und Simulation von
Maschinencode
Prof. Dr. Hans Kleine Büning
Wissensbasierte Systeme
Grundlagen, Modellierung und Realisierung wissensintensiver
Anwendungen: regelbasierte Wissensverarbeitung; Data Mining;
Automatisierung von Konfigurationsaufgaben, intelligente Analyse- und
Diagnoseverfahren in technischen Domänen
Prof. Dr. Franz J. Rammig
Entwurf paralleler Systeme
Spezifikation, Modellierung und formale Verifikation
sicherheitskritischer und eingebetteter Realzeitsysteme;
komponentenbasierte, verteilte Realzeitbetriebssysteme;
Hardware/Software-Co-Design; Softwaresynthese; rekonfigurierbare Hard-
und Softwaresysteme
Prof. Dr. Wilhelm Schäfer
Softwaretechnik
UML-basierte Modellierung und Analyse eingebetteter Systeme;
Re-Engineering und Restrukturierung von Softwaresystemen;
Entwurfsmuster; Software-Konfigurationsmanagement;
Software-Entwicklungswerkzeuge; automatische Code-Erzeugung;
Softwareprozessmodellierung; Software-Qualitätsstandards
ANGEHÖRIGE DES S-LAB
Neben den Mitgliedern gehören dem s-lab weitere Professoren an, die das Kompetenzprofil und Leistungsangebot ergänzen.
Jun.-Prof. Dr.-Ing. Steffen Becker
Modellgetriebene Softwareentwicklung
Software-Modellierung und Qualitätsanalyse von Performance;
Zuverlässigkeit und Skalierbarkeit;
Komponentenbasierte und serviceorientierte betriebliche Software-Architekturen;
Software-Evolution bei sich ändernden nicht-funktionalen Anforderungen;
Architektur-Trade-off-Analysen;Cloud Computing
Jun.-Prof. Dr. Christoph Sorge
Sicherheit in Netzwerken
Sichere Kommunikationsprotokolle;
Sicherheitsarchitekturen;
Technische und rechtliche Aspekte des Datenschutzes und der IT-Sicherheit;
Nutzergetriebenes Identitätsmanagement;Anwendungen der Kryptographie in der Netzsicherheit
Prof. Dr. Benno Stein
Intelligente Informationssysteme (Universität Weimar, Fakultät Medien)
Information Retrieval und Information Extraction;
Data Mining in Text und in technischen Domänen;
Maschinelles Lernen;
Algorithmische Modellbildung, Analyse und Synthese technischer Systeme