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.
|PDF - Requires a PDF viewer|
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)|
|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|
|Keywords:||Finite state process, Object-oriented design, Invariants, Object constraints|
|Deposited By:||utas eprints|
|Deposited On:||17 Jun 2004|
|Last Modified:||18 Jul 2008 19:36|
|ePrint Statistics:||View statistics for this ePrint|
Repository Staff Only: item control page