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

    A Formal Specification of a Boundary Representation

    Thumbnail
    View/Open
    EUROGRAPHICS_88pp141-154.pdf (288.4Kb)
    Date
    1988
    Author
    Baumann, Peter
    Pay-Per-View via TIB Hannover:

    Try if this item/paper is available.

    Metadata
    Show full item record
    Abstract
    Geometric modellers are used in a wide spectrum of applications in computer graphics. As many other applications use the generated internal representation of solids, semantic correctness is of special importance. On the other hand, the methodology of formal specification offers, in particular, the advantage of ensuring correctness by mathematical means. It is therefore a good idea to formally specify a geometric modeller. This paper describes an abstract data type defining a boundary representation. Special attention is paid to the operations for manipulating solids, i.e. the so-called Euler operations. The operation mfe (make face & edge) is used to show in detail how pre- and post-condition can be derived. Finally, mappings of this abstract data type onto implementations with different data models are discussed.
    BibTeX
    @inproceedings {egtp.19881012,
    booktitle = {EG 1988-Technical Papers},
    editor = {},
    title = {{A Formal Specification of a Boundary Representation}},
    author = {Baumann, Peter},
    year = {1988},
    publisher = {Eurographics Association},
    ISSN = {1017-4656},
    DOI = {10.2312/egtp.19881012}
    }
    URI
    http://dx.doi.org/10.2312/egtp.19881012
    Collections
    • EG1988 Proceedings (Technical Papers)
    • EG1988 Proceedings (Technical Papers)

    Eurographics Association copyright © 2013 - 2020 
    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 - 2020 
    Send Feedback | Contact - Imprint | Data Privacy Policy | Disable Google Analytics
    Theme by @mire NV
    System hosted at  Graz University of Technology.
    TUGFhA