Formale Methoden

Dozent: Prof. Dr. Karsten Wolf

					Az.
Semantik Allgemein					6
Natural Semantics					8
Structural Operation Semantics					13
To Do: Erweiterungen NatS/SOS (Sem. F.48 - 61)
Operationelle Semantik/Abstract Machine					13
Denotationelle Semantik					6
Halbordnungen und Fixpunkte					12
Axiomatische Semantik					27
Prozessalgebra					25
State Charts					8
Temporal Logic of Actions					18
Abstract State Machines					12
To Do: Petrinetze (FS F.183 - 342)					44
To Do: Z Notation (FS F.343 - ?)
To Do: Life Sequence Charts (FS F.383 - 412)

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.