Abbildungsverzeichnis VDM Tutor Glossar

Literaturhinweise

Die folgenden Bücher und Artikel können zur Vertiefung des Wissens über abstrakte Datentypen und VDM dienen.

Bjørner, Dines/ Jones, Cliff B., 1978

The Vienna Development Method: The Meta-Language, Lecture Notes in Computer Science Bd. 61, Berlin, Heidelberg, New York: Springer, 1978

Bjørner, Dines, et. al., 1987

VDM '87: VDM - A Formal Method at Work, Lecture Notes in Computer Science Bd. 252, Berlin, Heidelberg, New York: Springer, 1987

Bjørner, Dines/ Hoare, C.A.R./ Langmaack, Hans, 1990

VDM '90:
VDM and Z - Formal Methods in Software Development, Lecture Notes in Computer Science Bd. 428, Berlin, Heidelberg, New York: Springer, 1990

Bloomfield, Robin/ Marshall, Lynn/ Jones, Roger, 1988

VDM '88: VDM - The Way Ahead, Lecture Notes in Computer Science Bd. 328, Berlin, Heidelberg, New York: Springer, 1988

Guttag, John/ Horowitz, Ellis/ Musser, David, 1976

Abstract Data Types and Software Validation, Los Angeles: Information Sciences Institute, University of Southern California, 1976

Henhapl, Wolfgang/ Letschert, Thomas, 1987

VDM -- Vienna Development Method in: Informationstechnik it, 29(4), April 1987, S. 202-210

Liskov, Barbara/ Zilles, Stephen, 1974

Programming with abstract data types, in: ACM SIGPLAN Notices, 9(4), April 1974, S. 50-59

Schmidt, Uwe/ Völler, Reinhard, 1987

Erfahrungen mit VDM bei der Übersetzungskonstruktion in: Informationstechnik it, 29(4), April 1987, S. 211-216