An Approach to the Formal Specification of Configurable Models of Graphics Systems
View/
Date
1987Pay-Per-View via TIB Hannover:
Try if this item/paper is available.
Metadata
Show full item recordAbstract
This paper describes a general framework for the formal specification of modular graphics systems. The approach is illustrated by an example taken from the Graphical Kernel System (GKS) and uses the Z specification notation.
BibTeX
@inproceedings {10.2312:egtp.19871033,
booktitle = {EG 1987-Technical Papers},
editor = {},
title = {{An Approach to the Formal Specification of Configurable Models of Graphics Systems}},
author = {Arnold, D.B. and Duce, D.A. and Reynolds, G.J},
year = {1987},
publisher = {Eurographics Association},
ISSN = {1017-4656},
DOI = {10.2312/egtp.19871033}
}
booktitle = {EG 1987-Technical Papers},
editor = {},
title = {{An Approach to the Formal Specification of Configurable Models of Graphics Systems}},
author = {Arnold, D.B. and Duce, D.A. and Reynolds, G.J},
year = {1987},
publisher = {Eurographics Association},
ISSN = {1017-4656},
DOI = {10.2312/egtp.19871033}
}