Open Access Repository

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


Downloads per month over past year

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

ISAS.pdf | Download (81kB)
Available under University of Tasmania Standard License.

| Preview


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)
Authors/Creators:Stanton, SC and Malhotra, V
Keywords: Finite state process, Object-oriented design, Invariants, Object constraints
Publisher: INSTICC - Institute for Systems and Technologies of Information, Control and Communication
Additional Information:

ISBN 927-8865-00-7
DBLP entry:

Item Statistics: View statistics for this item

Actions (login required)

Item Control Page Item Control Page