| dc.contributor.author | Duce, D. A. | en_US |
| dc.contributor.author | Paterno, F. | en_US |
| dc.date.accessioned | 2014-10-21T07:23:23Z | |
| dc.date.available | 2014-10-21T07:23:23Z | |
| dc.date.issued | 1993 | en_US |
| dc.identifier.issn | 1467-8659 | en_US |
| dc.identifier.uri | http://dx.doi.org/10.1111/1467-8659.1210003 | en_US |
| dc.description.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. | en_US |
| dc.publisher | Blackwell Science Ltd and the Eurographics Association | en_US |
| dc.title | A Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Model | en_US |
| dc.description.seriesinformation | Computer Graphics Forum | en_US |
| dc.description.volume | 12 | en_US |
| dc.description.number | 1 | en_US |
| dc.identifier.doi | 10.1111/1467-8659.1210003 | en_US |
| dc.identifier.pages | 3-20 | en_US |
