Universidade do MinhoEscola de Engenharia Departamento de Inform´tica
  Equipa Ensino Pós-Graduações Projectos Publicações   pt | en
 
 
 
 

IVY - A model based usability analysis tool

Data de inicio: 2003-10-01

Término: 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

Outros Elementos

Fernando Salgueiro - XtrmSWING

José Mira - Interactor's editor

P´gina Oficial do Projecto: http://www.di.uminho.pt/~jfc/research/i2smv/index.html

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

Publicações Relacionadas

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.