• Login
    View Item 
    •   Eurographics DL Home
    • Eurographics Conferences
    • EG1989
    • EG1989 Proceedings (Technical Papers)
    • View Item
    •   Eurographics DL Home
    • Eurographics Conferences
    • EG1989
    • EG1989 Proceedings (Technical Papers)
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    GKS, Structures and Formal Specification

    Thumbnail
    View/Open
    EUROGRAPHICS_89pp271_287.pdf (328.6Kb)
    Date
    1989
    Author
    Duce, D. A.
    Pay-Per-View via TIB Hannover:

    Try if this item/paper is available.

    Metadata
    Show full item record
    Abstract
    There are now three International Standards for application program interfaces for computer graphics programming, GKS, GKS-3D and PHIGS. In this paper a simplified model GKS-like system is described and a 2D PHIGS-like system is then described in terms of this and a centralized structure store. Formal specifications of the systems are given illustrating how the specification of a system can be built up from a hierarchy of simple components. The purpose of the paper is to illustrate one approach to the description of a compatible family of graphics standards and the use of formal specification techniques in this process.
    BibTeX
    @inproceedings {10.2312:egtp.19891020,
    booktitle = {EG 1989-Technical Papers},
    editor = {},
    title = {{GKS, Structures and Formal Specification}},
    author = {Duce, D. A.},
    year = {1989},
    publisher = {Eurographics Association},
    ISSN = {1017-4656},
    DOI = {10.2312/egtp.19891020}
    }
    URI
    http://dx.doi.org/10.2312/egtp.19891020
    Collections
    • EG1989 Proceedings (Technical Papers)
    • EG1989 Proceedings (Technical Papers)

    Eurographics Association copyright © 2013 - 2022 
    Send Feedback | Contact - Imprint | Data Privacy Policy | Disable Google Analytics
    Theme by @mire NV
    System hosted at  Graz University of Technology.
    TUGFhA
     

     

    Browse

    All of Eurographics DLCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    BibTeX | TOC

    Create BibTeX Create Table of Contents

    Eurographics Association copyright © 2013 - 2022 
    Send Feedback | Contact - Imprint | Data Privacy Policy | Disable Google Analytics
    Theme by @mire NV
    System hosted at  Graz University of Technology.
    TUGFhA