Pre-IVY
Work leading to IVY proposal |
i2smv home page |
Pre-IVY Publications |
J. C. Campos and M. D. Harrison (1999) Using automated reasoning in the design of an audio-visual communication system. In D. J. Duke and A. Puerta, editors, Design, Specification and Verification of Interactive Systems '99, Springer Computer Science, pages 167-188. Springer-Verlag/Wien. |
J. C. Campos and M. D. Harrison (1999) From Interactors to SMV: A Case Study in the Automated Analysis of Interactive Systems. Technical Report YCS-99-317, Department of Computer Science, University of York. |
J. C. Campos (1999) Automated Deduction and Usability Reasoning. DPhil thesis, Department of Computer Science, University of York. |
J. C. Campos and M. D. Harrison (2001) Model Checking Interactor Specifications. Automated Software Engineering, 8(3/4):275-310, August. |
J. Creissac Campos (2003) Using task knowledge to guide interactor specifications analysis. In J. A. Jorge and N. J. Nunes and J. Falcão e Cunha, editor(s), Interactive Systems: Design, Specification and Verification - 10th International Workshop, DSV-IS 2003, volume 2844 of LNCS, pages 171-186, Springer, June. |
J. Creissac Campos, M. D. Harrison & Karsten Loer (2004) Verifying user interface behaviour with model checking . In J. C. Augusto & U. Ultes-Nitsche, editor(s), Verification and Validation of Enterprise Information Systems: proceedings of VVEIS 2004, pages 87-96, INSTICC Press, April |
|
|