Literatur

Spezifikationstechniken

- Literatur -

Carroll Morgan. Programming from Specifications. Prentice Hall 1990.
P. Thomas, H. Robinson, J. Emms. Abstract Data Types. Their Specification, Representation,and Use. Oxford University Press 1988.
I. van Horebeek, J. Lewi. Algebraic Specifications in Software Engineering. An Introduction.Springer-Verlag 1989.
H.-D. Ehrich, M. Gogolla, U.W. Lipeck. Algebraische Spezifikation abstrakter Datentypen.Teubner 1989.
H.A. Klaeren. Algebraische Spezifikation: eine Einführung. Springer-Verlag 1983.
M. Bidoit, P.D. Mosses. CASL User Manual. LNCS 2900, Springer 2004.
CoFI (The Common Framework Initiative). CASL Reference Manual. LNCS 2960, Springer 2004.
J.M. Spivey. The Z Notation. A Reference Manual. Prentice Hall 1989.
J. Jacky. The Way of Z. Practical Programming with Formal Methods. Cambridge University Press 1997.
E. Currie. The Essence of Z. Prentice Hall 1999.
Z. Manna, A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification.Springer-Verlag 1991.
M. Wirsing. Algebraic Specification. In: Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics. Elsevier 1990.
E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brückner, P. Mosses, D. Sannella, A. Tarlecki. CASL: the Common Algebraic Specification Language. Theoretical Computer Science,Elsevier 2002.
CoFI Language Design Task Group. CASL - The CoFI Algebraic Specification Language - Summary. http://www.cofi.info
E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (Hrsg.). Algebraic Foundations of Systems Specification. IFIP State-of-the-Art-Reports, Springer 1999.