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

    PRELOG - A SYSTEM FOR PRESENTING AND RENDERING LOGIC SPECIFICATIONS OF INTERACTIVE SYSTEMS

    Thumbnail
    View/Open
    EUROGRAPHICS_90pp469_480.pdf (207.0Kb)
    Date
    1990
    Author
    Johnson, C.W.
    Harrison, M.D.
    Pay-Per-View via TIB Hannover:

    Try if this item/paper is available.

    Metadata
    Show full item record
    Abstract
    Formal specifications provide the non-specialist with an extremely poor impression of what it would be like to interact with a computer system. Prototypes provide a far better impression of the ‘look and feel’ of possible implementations but lack the precision of more formal approaches. Unfortunately, specification and prototyping are typically treated as alternatives. If these two activities can be harnessed then the designer has a means of incorporating the user into systems design. Tools can ease the transition from specification to prototype by supporting the visualisation of a design in terms of graphical representations of the proposed system. This paper describes Prelog, a tool for Presenting and REndering LOGic specifications of interactive systems. Prelog supports the structured representation of interaction objects which describe virtual devices. Interaction objects support reasoning about prototypes because they provide a means of abstracting away from device dependent pragmatics which make renderings intractable.
    BibTeX
    @inproceedings {10.2312:egtp.19901038,
    booktitle = {EG 1990-Technical Papers},
    editor = {},
    title = {{PRELOG - A SYSTEM FOR PRESENTING AND RENDERING LOGIC SPECIFICATIONS OF INTERACTIVE SYSTEMS}},
    author = {Johnson, C.W. and Harrison, M.D.},
    year = {1990},
    publisher = {Eurographics Association},
    ISSN = {1017-4656},
    DOI = {10.2312/egtp.19901038}
    }
    URI
    http://dx.doi.org/10.2312/egtp.19901038
    Collections
    • EG1990 Proceedings (Technical Papers)
    • EG1990 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