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 environment

Entidade Financiadora e Programa: FCT/FEDER - POSC/EIA/56646/2004

Data de inicio: 2005-07-01

Término: 0000-00-00

Abstract:

IVY's goal is to develop a model based tool for the analysis of interactive systems designs. The tool will act as a front end to the SMV model checker, creating an abstraction layer where models of interactive systems can be developed and analysed.

Project Leader : José Francisco Creissac Freitas de Campos

Elementos do Grupo Envolvidos

António Nestor Ribeiro - Integration

António José Borba Ramires Fernandes - Visualizer

Outros Elementos

João Alexandre Saraiva - Compiler; editor

Ana Paiva - Formal specification

João Pascoal Faria - Formal specification

P´gina Oficial do Projecto: http://www.di.uminho.pt/ivy/

Publicações Relacionadas

J. Creissac Campos (visit this page for up to date information) & G. J. Doherty (2005) Supporting resource-based analysis of task information needs. DSVIS 2005 pre-proceedings, pp 177-188 (to appear in LNCS, Springer), July.