Library Open Repository

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

Downloads

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.

[img]
Preview
PDF
AC2004.pdf | Download (199kB)
Available under University of Tasmania Standard License.

Abstract

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
URI: http://eprints.utas.edu.au/id/eprint/9
Item Statistics: View statistics for this item

Repository Staff Only (login required)

Item Control Page Item Control Page