eCite Digital Repository
Model checking an object-oriented design validation led development of software
Citation
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]
Abstract
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 |
| Downloads: | 0 |
Repository Staff Only: item control page