Search Results

Now showing 1 - 1 of 1
  • Item
    A Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Model
    (Blackwell Science Ltd and the Eurographics Association, 1993) Duce, D. A.; Paterno, F.
    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.