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