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

Loading...
Thumbnail Image
Date
1987
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