Open Access Repository

Items where Author is "Stanton, SC"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Conference or Workshop Item

Malhotra, V and Stanton, SC 2004 , 'Validating Inter-Object Interaction in Object-Oriented Designs', paper presented at the 4th IASTED International Conference on Modelling, Simulation and Optimization, 17-19 August 2004, Kauai, Hawaii, USA.

Stanton, SC and Malhotra, V 2004 , 'Model Checking an Object-Oriented Design: Validation Led Development of Software', paper presented at the Sixth International Conference on Enterprise Information Systems, 2004, 14-17 April 2004, Porto, Portugal.

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.

Thesis

Stanton, SC 2002 , 'Validation and Verification of Software Design using Finite State Process', Honours thesis, University of Tasmania.

This list was generated on Sun Apr 5 01:36:43 2020 AEDT.
TOP