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.


Keine Artikel in dieser Ansicht.

Postanschrift

Arbeitsgruppe Softwaretechnik und Programmiersprachen
Gebäude 25.12 Ebene/Raum 02.60
Universitätsstraße 1
40225 Düsseldorf

Lehrstuhlinhaber

Prof. Dr. Michael Leuschel

Gebäude: 25.12
Etage/Raum: 02.60
Tel.: +49 211 81-10710
Fax: +49 211 81-10712

Sekretariat

Claudia Kiometzis

Gebäude: 25.12
Etage/Raum: 02.58
Tel.: +49 211 81-10711
Fax: +49 211 81-10712
Verantwortlich für den Inhalt: E-Mail sendenWE Informatik