eCite Digital Repository

Author: Stanton, SC (Mr Simon Stanton)

Number of items: 3

Conference Publication
Stanton, SC and Malhotra, V, Model checking an object-oriented design validation led development of software, Proceedings of the 6th International Conference on Enterprise Information Systems, 14-17 April 2004, Porto, Portugal, pp. 605-608. ISBN 972-8865-00-7 (2004) [Refereed Conference Paper] 
Malhotra, V and Stanton, SC, 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. ISSN 1482-7905 (2004) [Refereed Conference Paper] 
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] 

This list was generated on Sat Jan 28 00:52:55 2023.