A Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Model
View/
Date
1993Pay-Per-View via TIB Hannover:
Try if this item/paper is available.
Metadata
Show full item recordAbstract
This paper is motivated by the emerging ISO/IEC Reference Model for Computer Graphics (CGRM) and the revision of the ISO/IEC computer graphics standard, the Graphical Kernel System (GKS). The paper explores the use of the CGRM as a framework for structuring a specification of apart of the current draft of the revised GKS and the use of the LOTOS formal description technique for specifying graphics systems.
BibTeX
@article {10.1111:1467-8659.1210003,
journal = {Computer Graphics Forum},
title = {{A Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Model}},
author = {Duce, D. A. and Paterno, F.},
year = {1993},
publisher = {Blackwell Science Ltd and the Eurographics Association},
ISSN = {1467-8659},
DOI = {10.1111/1467-8659.1210003}
}
journal = {Computer Graphics Forum},
title = {{A Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Model}},
author = {Duce, D. A. and Paterno, F.},
year = {1993},
publisher = {Blackwell Science Ltd and the Eurographics Association},
ISSN = {1467-8659},
DOI = {10.1111/1467-8659.1210003}
}