Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/760
Título: | Verifying user interface behaviour with model checking |
Autor(es): | Campos, J. Creissac Harrison, M. D. Loer, Karsten |
Data: | 2004 |
Editora: | INSTICC Press |
Citação: | [AUGUSTO, Juan Carlos; ULTES-NITSCHE, Ulrich, ed. lit. – “Verification and validation of enterprise information systems : proceedings of the International Workshop on Verification and Validation of Enterprise Information Systems, 2, Porto, 2004”. S.l.: INSTICC Press, 2004. 972-8865-03-1. p. 87-96.] |
Resumo(s): | A large proportion of problems found in deployed systems relate to the user interface. This paper presents an approach to the verification of user interface models based on model checking. The verification is concerned with behavioural aspects of the user interface and requires models that represent both the interactive aspects and also captures important features of the context to allow restrictions of behaviour to those that conform to appropriate human and environmental constraints. A tool suite to support the approach is under development and is described. Future work directions are put forward. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/760 |
ISBN: | 972-8865-03-1 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
vveis04.pdf | 57,55 kB | Adobe PDF | Ver/Abrir |