Inhaltsverzeichnis

Gedächtnisprotokoll „Konstruktive Phasen des Software Engineering“

Sommersemester 2023

Aufgabe 1: Kopplung

Aufgabe 2: Zeitbehaftetes Petrinetz

Ein zeitbehaftetes Petrinetz mit Anfangsmarkierung und statischen Zeitintervallen war gegeben (3 Plätze, 3 Transitionen).

Aufgabe 3: Spezifikationssprache Z

Gegeben war ein Schema Operiations, das nur eine Sequenz ops: seq R enthält. Nun sollen folgende Operationen als Schemata mithilfe von Z modelliert werden:

Aufgabe 4: Entwurfsmuster