eCite Digital Repository

Model checking an object-oriented design validation led development of software


Stanton, SC and Malhotra, V, Model checking an object-oriented design validation led development of software, Proceedings of the 6th International Conference on Enterprise Information Systems, 14-17 April 2004, Porto, Portugal, pp. 605-608. ISBN 972-8865-00-7 (2004) [Refereed Conference Paper]


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 Details

Item Type:Refereed Conference Paper
Keywords:finite state process, invariants, object constraints, object-oriented design
Research Division:Information and Computing Sciences
Research Group:Software engineering
Research Field:Software testing, verification and validation
Objective Division:Expanding Knowledge
Objective Group:Expanding knowledge
Objective Field:Expanding knowledge in the mathematical sciences
UTAS Author:Stanton, SC (Mr Simon Stanton)
UTAS Author:Malhotra, V (Dr Vishv Malhotra)
ID Code:30863
Year Published:2004
Deposited By:Computing
Deposited On:2004-08-01
Last Modified:2017-04-07

Repository Staff Only: item control page