|
|
Number of items: 3
Conference Publication
| Stanton, S and Malhotra, VM, Model Checking an Object-Oriented Design Validation Led Development of Software, Proceedings ICEIS 2004 Sixth International Conference on Enterprise Information Systems, 14-17 April 2004, Porto, Portugal, pp. 605-608. ISBN 972-8865-00-7 (2004) [Refereed Conference] |  |
| Malhotra, VM and Stanton, S, Validating Inter-object Interaction in Object-oriented Designs, Proceedings of the Fourth IASTED International Conference on Modelling, Simulation and Optimization, 16-18 August 2004, Kauai, Hawaii, pp. 241-245. ISBN 1482-7905 (2004) [Refereed Conference] | |
| Stanton, S and Malhotra, VM, Validation Led Development of Object-oriented Software Using a Model Verifier, Proceedings of the IADIS International Conference Applied Computing 2004, 23-26 March 2004, Lisbon, Portugal EJ ISBN 972-98947-3-6 (2004) [Conference Extract] | |
This list was generated on Sun Nov 22 03:52:58 2009.
|
|
