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.
|PDF - Requires a PDF viewer|
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)|
|Additional Information:||ISBN: 972-98947-3-6|
|Keywords:||Object-oriented design, Invariants, Finite-State process.|
|Deposited By:||utas eprints|
|Deposited On:||17 Jun 2004|
|Last Modified:||18 Jul 2008 19:36|
|ePrint Statistics:||View statistics for this ePrint|
Repository Staff Only: item control page