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 Type | Value |
Type of Research | Experimental Development |
Research Division | Information and Computing Sciences |
Research Group | Software engineering |
Research Field | Software testing, verification and validation |
Research Objective Division | Expanding Knowledge |
Research Objective Group | Expanding knowledge |
Research Objective Field | Expanding knowledge in the mathematical sciences |
Visit Item on eCite | http://ecite.utas.edu.au/30865 |