Lehrstuhl Softwaretechnik

Lehrstuhl Softwaretechnik: Programmierung Verteilter Systeme

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

Team

Weiterlesen

Lehre

Weiterlesen

Forschung

Weiterlesen

Publikationen

Weiterlesen

Lehrstuhl Softwaretechnik

Besucheradresse

RPTU in Kaiserslautern
Fachbereich Informatik
Lehrstuhl Softwaretechnik

Prof. Dr. Annette Bieniusa

Gottlieb-Daimler-Str.
Gebäude 32, Raum 426
D-67663 Kaiserslautern

Telefon: 0631 / 205 - 3341
Telefax: 0631 / 205 - 3331

 

Postanschrift

RPTU in Kaiserslautern
Fachbereich Informatik
Lehrstuhl Softwaretechnik

Prof. Dr. Annette Bieniusa

Postfach 3049
67653 Kaiserslautern
Deutschland

Zum Seitenanfang