A Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Model
No Thumbnail Available
Date
1993
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Blackwell Science Ltd and the Eurographics Association
Abstract
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.
Description
@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}
}