Library Open Repository
Model Checking an Object-Oriented Design: Validation Led Development of Software
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.
ISAS.pdf | Download (81kB)
Available under University of Tasmania Standard License.
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|
|Date Deposited:||17 Jun 2004|
|Last Modified:||18 Nov 2014 03:10|
|Item Statistics:||View statistics for this item|
Actions (login required)
|Item Control Page|