Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/66930| Título: | Systematic analysis of control panel interfaces using formal tools |
| Autor(es): | Campos, José C. Harrison, Michael douglas |
| Data: | 2008 |
| Editora: | Springer Verlag |
| Revista: | Lecture Notes in Computer Science |
| Resumo(s): | The paper explores the role that formal modeling may play in aiding the visualization and implementation of usability requirements of a control panel. We propose that this form of analysis should become a systematic and routine aspect of the development Of Such interfaces. We use a notation for describing the interface that is convenient to use by software engineers, and describe a set of tools designed to make the process systematic and exhaustive. |
| Tipo: | Artigo em ata de conferência |
| URI: | https://hdl.handle.net/1822/66930 |
| ISBN: | 9783540705680 |
| DOI: | 10.1007/978-3-540-70569-7_6 |
| ISSN: | 0302-9743 |
| Versão da editora: | https://link.springer.com/chapter/10.1007%2F978-3-540-70569-7_6 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| 2012-dsvis08-ch.pdf | 524,54 kB | Adobe PDF | Ver/Abrir |
