• 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.

    Toward Realistic Formal Specifications for Non-Trivial Graphical Objects

    Thumbnail
    View/Open
    EUROGRAPHICS_89pp289_300.pdf (212.8Kb)
    Date
    1989
    Author
    Fiume, Eugene
    Pay-Per-View via TIB Hannover:

    Try if this item/paper is available.

    Metadata
    Show full item record
    Abstract
    Formal specification has long been advocated in programming methodology, and is becoming increasingly popular in computer graphics to characterise the semantics of components of graphics systems. Unfortunately, formal specifications tend to sacrifice realism for abstraction. The result is often a specification that is not as relevant to real graphics systems as it could be. This paper suggests that the use of sharper mathematical tools, together with the use of object orientation (i.e., data abstraction with inheritance) provides a way of resolving this problem. As an example, we attempt to specify formally classes of bitmaps and images. These are particularly interesting choices, for bitmaps and images are mutable, bitmaps can have a perceived effect on images, and their semantics depends on context.
    BibTeX
    @inproceedings {10.2312:egtp.19891021,
    booktitle = {EG 1989-Technical Papers},
    editor = {},
    title = {{Toward Realistic Formal Specifications for Non-Trivial Graphical Objects}},
    author = {Fiume, Eugene},
    year = {1989},
    publisher = {Eurographics Association},
    ISSN = {1017-4656},
    DOI = {10.2312/egtp.19891021}
    }
    URI
    http://dx.doi.org/10.2312/egtp.19891021
    Collections
    • EG1989 Proceedings (Technical Papers)
    • EG1989 Proceedings (Technical Papers)

    Eurographics Association copyright © 2013 - 2023 
    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

    Statistics

    View Usage Statistics

    BibTeX | TOC

    Create BibTeX Create Table of Contents

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