Due to routine maintenance, access to the Library Open Repository will be interrupted on the morning of Friday 12th February.
We apologise for any inconvenience.

Library Open Repository

Validation Led Development of Object-Oriented Software Using a Model Verifier


Downloads per month over past year

Stanton, SC and Malhotra, V (2004) Validation Led Development of Object-Oriented Software Using a Model Verifier. In: IADIS International Conference Applied Computing 2004, 23-26 March 2004, Lisbon, Portugal.

AC2004.pdf | Download (199kB)
Available under University of Tasmania Standard License.


Object-oriented methodologies focus on the design of object classes as the building blocks of systems. The class interface provides a way to encapsulate focus to a single object/class at a time. However, general system-wide issues are important and need attention in the design endeavour also. The paper reports on our efforts to use a model verifier to enact interactions of multiple objects and classes to perform a system-wide analysis.

Item Type: Conference or Workshop Item (Paper)
Keywords: Object-oriented design, Invariants, Finite-State process.
Publisher: IADIS Press
Additional Information: ISBN: 972-98947-3-6
Date Deposited: 17 Jun 2004
Last Modified: 18 Nov 2014 03:10
Item Statistics: View statistics for this item

Repository Staff Only (login required)

Item Control Page Item Control Page