Lehrstuhl Softwaretechnik
Prof. Dr. Annette Bieniusa
Willkommen!
Gegenstand der Softwaretechnik sind Modelle, Techniken, Sprachen und Werkzeuge zur Entwicklung von Softwaresystemen.
Der Lehrstuhl Softwaretechnik forscht zu den folgenden Themenbereichen:
- Programmierung verteilter und nebenläufiger Systeme
- Spezifikation, Analyse und Verifikation von Software
- Generative Softwarekonstruktion
- Entwurf von Softwaresprachen
Aktuelle Lehrveranstaltungen
Lectures in Winter 2024/25
Prof. Bieniusa is on sabbatical this winter term. Therefore, only project courses are offered.
BSc and MSc Thesis
We are currently unable to supervise any additional thesis supervisions for winter term 2024/25 and summer term 2025.
Besucheradresse
Gottlieb-Daimler-Str.
Gebäude 32, Raum 426
D-67663 Kaiserslautern
Telefon: 0631 / 205 - 3341
Telefax: 0631 / 205 - 3331
Postanschrift
RPTU in Kaiserslautern
Lehrstuhl Softwaretechnik
Prof. Dr. Annette Bieniusa
Postfach 3049
67653 Kaiserslautern
Deutschland