Softwaretechnik und Programmiersprachen
Wir leben im Zeitalter der Software. Es gibt kaum ein technisches Gerät, das heute ohne Komponenten auskommt, die in Software realisiert sind. Software ist kostengünstig zu entwickeln und viel flexibler als Hardware. Die Kehrseite der Medaille ist jedoch: Softwarefehler können große finanzielle Verluste nach sich ziehen oder sogar Menschenleben kosten.
An unserem Lehrstuhl arbeiten wir hauptsächlich an Werkzeugen und Methoden zur Entwicklung von sicherheitskritischen Systemen. Wir wollen dabei die gesamte Entwicklungskette von der Anforderungserhebung, der Modellierung bis zur Generierung von ausführbaren Programmen abdecken.
Desweiteren befassen wir uns mit Just-in-time Compilation, statischer Analyse sowie logischer und funktionaler Programmierung.
Aktuelles
Postanschrift
Arbeitsgruppe Softwaretechnik und Programmiersprachen
Gebäude 25.12 Ebene/Raum 02.60
Universitätsstraße 1
40225 Düsseldorf