Deakin University
Browse

File(s) under permanent embargo

Eiffel assertions and the external structure of classes and objects

journal contribution
posted on 2002-09-01, 00:00 authored by Peter HoranPeter Horan
The “external structure” in an object oriented system refers here to the  graphs of objects and classes. The class structure graph or class model is derived from the object structure graph or object model, and in this operation structural information is lost, or never made explicit. Although object oriented programming languages capture the class model as declarations,  contradictory assumptions about object model properties may be made introducing faults into the design. Consistent assumptions about the object model can be specified in the code using assertions such as Eiffel’s  invariants, preconditions and postconditions. Three examples specifying the external structure are considered.

History

Journal

Journal of object technology

Volume

1

Issue

4

Pagination

105 - 118

Publisher

Chair of Software Engineering, ETH Eidgenössische Technische Hochschule

Location

Zürich, Switzerland

ISSN

1660-1769

Language

eng

Publication classification

C1 Refereed article in a scholarly journal

Usage metrics

    Research Publications

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC