Abstract
During the last decade most advances in programming languages as well as in programming methodology resulted from a consequent use of sound mathematical tools: the most impressive indicator of such a trend is the use of abstract data types which relate immediately to algebra, model theory and mathematical logic.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Anon, “Report on the EEC Workshop on Graphics Certification, Defining a Device Interface for Certification, Miltenberg/ Darmstadt, FRG, 25/28 April 1982,” Research and Development Report, Fachgebiet Graphisch-Interaktive Systeme, Nr. GRIS 82–4, Technische Hochschule Darmstadt (1982).
Anon, “Report on the EEC Workshop on Graphics Certification, Formal Specification of Graphics Standards, Steensel (near Eindhoven), NL, 8/9 June 1982,” Technical University of Munich (1982).
F. L. Bauer, “Programming a fulfilment of a contract,” Infotech State of the Art Report, Series 9, Number 6, Pergamon Infotech Limited (1981).
M. Broy, W. Dosch, H. Partsch, P. Pepper, and M. Wirsing, “Existential quantifiers in abstract data types,” in Proc. of the Sixth Colloquium on Automata, Languages and Programming, Graz, Lecture Notes in Computer Science, 71, ed. H. M. Maurer, Springer-Verlag (1979).
W. Dosch, G. F. Mascari, and M. Wirsing, “On the algebraic specification of data bases,” 1982 International Conference on Very Large Data Bases, Mexico City (September 1982).
R. Gnatz, “Referenzmodell fuer graphische Systeme, Versuch einer Axioma-tik,” in Geraeteunabhaengige graphische Systeme, Drittes Darmstaedter Kolloquium, ed. J. Encarnacao and W. Strasser, Muenchen-Wien: Oldenbourg (1981). (In German.)
R. Gnatz, “Funktionelle Spezifikation interaktiver Systeme und ihre Zerlegung in Teilsysteme,” in Programmiersprachen und Programmentwickhung, ed. H. Woessner, 7. Fachtagung Muenchen, Informatik-Fachberichte 53, Springer-Verlag (1982). (In German.)
R. Gnatz, “Specification of Interfaces: A Case Study of Data Exchange Languages,” in Product Data Interfaces in CAD/CAM Applications, ed. J. Encarnacao, R. Schuster and E. Voege, Symbolic Computation, Springer-Verlag (1986).
ANSI X3H33 Virtual Device Interface Task Group, “Draft Proposed American National Standard for the Virtual Device Metafile,” X3H33 81–15 R1, X3H33 82–33 R1, ANSI (1982).
The CIP-Language Group, “The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L,” Lecture Notes in Computer Science, Volume 183, Springer-Verlag (1985).
ISO, “Information Processing — Graphical Kernel System (GKS), Functional Description,” ISO TC97/SC5/WG2 N117 (January 1982).
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 EUROGRAPHICS The European Association for Computer Graphics
About this paper
Cite this paper
Gnatz, R. (1987). An Algebraic Approach to the Standardization and the Certification of Graphics Software. In: Bono, P.R., Herman, I. (eds) GKS Theory and Practice. EurographicSeminars. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-72930-0_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-72930-0_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-72932-4
Online ISBN: 978-3-642-72930-0
eBook Packages: Springer Book Archive