Nothing Special   »   [go: up one dir, main page]

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.

More information on Theses.

Wintersemester 24/25

Bachelor/Master Project: Software Technology

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