Dies sind die archivierten Webseiten des Lehrstuhls für Programmierung und Softwaretechnik (PST).
Die Seiten des Software and Computational Systems Lab (SoSy) finden Sie auf https://www.sosy-lab.org/.

Materialien

Die folgenden Vorlesungsfolien unterliegen dem Copyright. Teilnehmern der Vorlesung ist die Verwendung für persönliche Studien gestattet. Alle anderen Rechte sind vorbehalten.

The following notes are copyright. Participants of the lecture may use these notes for personal studies. All other rights are reserved.

A Einführung

B 1 Agile-Scrum

C 1 Requirements Analyse und Management

C 2 Requirements Spezifikation

C 3 Requirements Zielorientiert

D 1  Methodischer Entwurf (Version 1)

D 2 Systemarchitektur und Middleware


D 3 Muster

E 1 Formale Methoden

E 2_1 Einführung in Promela

E 2 Model Checking

F 1 Qualitätssicherung

F 2 Black-White Box Test


F 3 Test-gesteuerter Entwurf

B 2 Vorgehensmodelle