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

BSc and MSc Thesis

We are currently unable to supervise any additional thesis supervisions.

For theses starting in summer semester 2025, please contact us in April 2025.

Sommersemester 2024

Programming Distributed Systems
Bachelor/Master Seminar
Programmierpraktikum

Wintersemester 2023/24

Replication and Consistency
Bachelor/Master Project: Software Technology

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