Web Access Research Portal

Research Output Details

Stanton, SC and Malhotra, VM, “Validation led development of object-oriented software using a nodel verifier”, Proceedings of the 2004 IADIS International Conference on Applied Computing, 23-26 March 2004, Lisbon, Portugal ISBN 972-98947-3-6 (2004) [Conference Extract]
Data TypeValue
Type of ResearchExperimental Development
Research DivisionInformation and Computing Sciences
Research GroupSoftware engineering
Research FieldSoftware testing, verification and validation
Research Objective DivisionExpanding Knowledge
Research Objective GroupExpanding knowledge
Research Objective FieldExpanding knowledge in the mathematical sciences
Visit Item on eCitehttp://ecite.utas.edu.au/30865