Eiffel assertions and the external structure of classes and objects

Horan, Peter 2002, Eiffel assertions and the external structure of classes and objects, Journal of object technology, vol. 1, no. 4, pp. 105-118.

Attached Files
Name Description MIMEType Size Downloads

Title Eiffel assertions and the external structure of classes and objects
Author(s) Horan, Peter
Journal name Journal of object technology
Volume number 1
Issue number 4
Start page 105
End page 118
Publisher Chair of Software Engineering, ETH Eidgenössische Technische Hochschule
Place of publication Zürich, Switzerland
Publication date 2002-09
ISSN 1660-1769
Summary 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.

Language eng
Field of Research 080399 Computer Software not elsewhere classified
HERDC Research category C1 Refereed article in a scholarly journal
Persistent URL http://hdl.handle.net/10536/DRO/DU:30001459

Document type: Journal Article
Collection: School of Information Technology
Connect to link resolver
 
Unless expressly stated otherwise, the copyright for items in DRO is owned by the author, with all rights reserved.

Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 2 times in Scopus
Google Scholar Search Google Scholar
Access Statistics: 331 Abstract Views, 0 File Downloads  -  Detailed Statistics
Created: Mon, 07 Jul 2008, 07:57:31 EST

Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.