eCite Digital Repository

Validating inter-object interaction in object-oriented designs

Citation

Malhotra, V and Stanton, S, Validating inter-object interaction in object-oriented designs, Proceedings of the Fourth IASTED International Conference on Modelling, Simulation and Optimization, 16-18 August 2004, Kauai, Hawaii, pp. 241-245. ISSN 1482-7905 (2004) [Refereed Conference Paper]

Abstract

Object classes are the building blocks for object-oriented software. Design methodologies have focused on methods, tools and representations to build classes taking advantages of inheritance and encapsulation properties. The guiding principle being that if all classes are correctly constructed a system consisting of objects in these classes will be correct. Efforts to include object constraints in object-oriented programs have not attained the role commensurate with the role invariants play in traditional imperative programs in understanding the programs and in establishing correctness properties. The paper describes use of a model checker to establish the correctness of an object-oriented design.

Item Details

Item Type:Refereed Conference Paper
Research Division:Information and Computing Sciences
Research Group:Computer Software
Research Field:Software Engineering
Objective Division:Expanding Knowledge
Objective Group:Expanding Knowledge
Objective Field:Expanding Knowledge in the Mathematical Sciences
Author:Malhotra, V (Dr Vishv Malhotra)
Author:Stanton, S (Mr Simon Stanton)
ID Code:30941
Year Published:2004
Deposited By:Computing
Deposited On:2004-08-01
Last Modified:2017-04-07
Downloads:0

Repository Staff Only: item control page