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 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
UTAS Author:	Malhotra, V (Dr Vishv Malhotra)
UTAS 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