Open Access Repository
Validation Led Development of Object-Oriented Software Using a Model Verifier
Download Statistics
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.
|
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 |