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

Simple item page
dc.contributor.authorDuce, D. A.en_US
dc.contributor.authorPaterno, F.en_US
dc.date.accessioned2014-10-21T07:23:23Z
dc.date.available2014-10-21T07:23:23Z
dc.date.issued1993en_US
dc.description.abstractThis 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.en_US
dc.description.number1en_US
dc.description.seriesinformationComputer Graphics Forumen_US
dc.description.volume12en_US
dc.identifier.doi10.1111/1467-8659.1210003en_US
dc.identifier.issn1467-8659en_US
dc.identifier.pages3-20en_US
dc.identifier.urihttps://doi.org/10.1111/1467-8659.1210003en_US
dc.publisherBlackwell Science Ltd and the Eurographics Associationen_US
dc.titleA Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Modelen_US
Files
Collections
Issue 1