Open Access 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', paper presented at the 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.

| Preview

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)
Authors/Creators:Stanton, SC and Malhotra, V
Keywords: Object-oriented design, Invariants, Finite-State process.
Publisher: IADIS Press
Additional Information:

ISBN: 972-98947-3-6

Item Statistics: View statistics for this item

Actions (login required)

Item Control Page Item Control Page
TOP