Formale Methoden

Dozent: Prof. Dr. Karsten Wolf
      Az.
Semantik Allgemein    6
Natural Semantics    8
Structual Operation Semantics   13
To Do: Erweiterungen NatS/SOS (Sem. F.48 - 61)   6
Operationelle Semantik/Abstract Machine   13
Denotationelle Semantik   7
Halbordnungen und Fixpunte   12
To Do: Continuation-Style Semantik (Sem. F.103 - 107)     
To Do: Nichtstandardsemantik/Programmanalyse (Sem. F.108 - 170)     
Axiomatische Semantik   27
To Do: Prozessalgebra (FS F.8 - 93)   9
To Do: State Charts (FS F.94 - 124)     
To Do: Temporal Logic of Actions (FS F.125 - 150)     
To Do: Abstract State Machines (FS F.151 - 182)     
To Do: Petrinetze (FS F.183 - 342)     
To Do: Z Notation (FS F.343 - ?)     
To Do: Life Sequence Charts (FS F.383 - 412)