Library Open Repository

Model Checking an Object-Oriented Design: Validation Led Development of Software

Downloads

Downloads per month over past year

Stanton, SC and Malhotra, V (2004) Model Checking an Object-Oriented Design: Validation Led Development of Software. In: Sixth International Conference on Enterprise Information Systems, 2004, 14-17 April 2004, Porto, Portugal.

[img]
Preview
PDF
ISAS.pdf | Download (81kB)
Available under University of Tasmania Standard License.

Abstract

The object-oriented design methodologies have focused on methods, tools and representations to build classes taking advantage of inheritance and encapsulation properties. Modelling of the interaction among the objects often does not go beyond the method declarations stage until the programming phase. Efforts to include object constraints in the object-oriented design to embody the behavioural correctness have not reached the level assertions play in understanding the correctness of the traditional imperative programs. The paper describes use of a model checker to establish correctness of an object-oriented design.

Item Type: Conference or Workshop Item (Poster)
Keywords: Finite state process, Object-oriented design, Invariants, Object constraints
Publisher: INSTICC - Institute for Systems and Technologies of Information, Control and Communication
Page Range: pp. 605-608
Additional Information: ISBN 927-8865-00-7 DBLP entry: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Stanton:Simon_C=.html
Date Deposited: 17 Jun 2004
Last Modified: 18 Nov 2014 03:10
URI: http://eprints.utas.edu.au/id/eprint/8
Item Statistics: View statistics for this item

Repository Staff Only (login required)

Item Control Page Item Control Page