Formale Spezifikation

(Formal Specification)

Lehrverantwortliche(r):

R. Dumke

Grundlagen formaler Sepzifikationssprachen: Paradigmen, Kalküle, Klassifikationen
Die VDM-Spezifikationsmethodik: Datentypen, Funktionen und Ausdrücke, Spezifikation
Die Spezifikationssprache Z: Grundelemente, vordefinierte Funktionen, Test von Z-Spezifikationen
Formale Sepzifikation mit LOTOS: Basis-LOTOS (Prozesse, Ereignisse, Verhalten), erweitertes LOTOS (strukturierte Ereignisse, bedingte Verhaltensbeschreibung, lokale Variablen, verallgemeinerte Auswahl und Parallelität), tool-basierte Systementwicklung mit LOTOS
Spezifikation verteilter Systeme mittels CSP: Kommunikation, Disjunktion, Interleaving, Prozessverkettung und -auswahl
Funktionale Paradigmen: ML und MIRANDA

Jones, C.B. : Systematic Software Development Using VDM ; Prentice Hall, 1986

Ford, N.J.; Ford, J. M. : Introducing Formal Methods ; Ellis Horwood Lmt., 1993

Fenton, N. E. : System Construction and Analysis ; McGraw Hill, 1993

Spivey, J. M. : The Z Notation ; Prentice Hall, 1992

Turner, K. J. : Using Formal Description Techniques ; John Wiley & Sons, 1993

Hogrefe : Estelle, LOTOS und SDL ; Springer-Verlag, 1989

Hoare, C. A. R. : Algebraic Specification and Proofs for Communicating Sequential Processes ; Addison-Wesley, 1990

Bird/Wadler : Einführung in die funktionale Programmierung ; 1992