An Approach to the Formal Specification of Configurable Models of Graphics Systems

Thumbnail Image
Date
1987
Authors
Arnold, D.B.
Duce, D.A.
Reynolds, G.J
Journal Title
Journal ISSN
Volume Title
Publisher
Eurographics Association
Abstract
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.
Description

        
@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
},
ISBN = {},
DOI = {
10.2312/egtp.19871033
}
}
Citation
URI
https://doi.org/10.2312/egtp.19871033
Collections
EG1987 Proceedings (Technical Papers)
EG1987 Proceedings (Technical Papers)