Eiffel Assertions and the External Structure of Classes and Objects
By: Peter Horan
Abstract
Although object-oriented programming languages capture the class model as declarations, contradictory assumptions about object models properties may be made introducing faults into the design. Consistent assumptions about the object model can be specified in the code using Eiffel-like invariants and postconditions.
Cite as:
Peter Horan, “Eiffel Assertions and the External Structure of Classes and Objects”, Journal of Object Technology, Volume 1, no. 4 (September 2002), pp. 105-118, doi:10.5381/jot.2002.1.4.a1.
PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn