University of MinhoSchool of Engineering Departament of Computer Science
  Team Courses Post Grad Projects Publications   pt | en
 
 
 
 

IVY - A model based usability analysis tool

Start Date: 2003-10-01

End Date: 0000-00-00

Abstract:

The aim of this project is to develop an integrated environment for the modelling and analysis of interactive systems using the MAL Interactor notation.


Project Leader : José Francisco Creissac Freitas de Campos

Other Project Members

Fernando Salgueiro - XtrmSWING

José Mira - Interactor's editor


Official Web Site: http://www.di.uminho.pt/~jfc/research/i2smv/index.html

08/12/2003
See this poster for an overview of the project.


Related Publications

J. Creissac Campos (visit this page for up to date information) (2004) Análise de usabilidade baseada em modelos. Interacção 2004 - 1a. Conferência Nacional em Interacção Pessoa-Máquina, 171-176, Grupo Português de Computação Gráfica, July.

J. Creissac Campos (visit this page for up to date information), 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.

J. Creissac Campos (visit this page for up to date information) (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 (visit this page for up to date information) & M. D. Harrison (2001) Model Checking Interactor Specifications. Automated Software Engineering, 8(3-4):275-310, August.

J. Creissac Campos (visit this page for up to date information) (1999) Automated Deduction and Usability Reasoning. DPhil thesis, Department of Computer Science, University of York, September.

J. Creissac Campos (visit this page for up to date information) & M. D. Harrison (1999) Using automated reasoning in the design of an audio-visual communication system. In D. J. Duke and A. Puerta, editor(s), Design, Specification and Verification of Interactive Systems '99, pages 167-188, Springer-Verlag/Wien, June.