A Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Model

No Thumbnail Available
Date
1993
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
} }
Citation
Collections