Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/764
Título: | Representational reasoning and verification |
Autor(es): | Doherty, Gavin J. Campos, J. Creissac Harrison, M. D. |
Data: | 1998 |
Editora: | Shu Press |
Citação: | SIDDIQI, J. I. ed. lit. – “Formal aspects of the Human Computer Interaction: proceedings of the BCS-FACS Workshop, Sheffield, 1998”. Sheffield : SHU Press, 1998. ISBN 0-86339-7948. p. 193-212.Sheffield : SHU Press, 1998. ISBN 0-86339-7948. p. 193-212. |
Resumo(s): | Formal approaches to the design of interactive systems, such as the principled design approach rely on reasoning about properties of the system at a very high level of abstraction. Such specifications typically provide little scope for reasoning about presentations and the representation of information in the presentation. Theories of distributed cognition place a strong emphasis on the role of representations in the cognitive process, but it is not clear how such theories can be applied to design. In this paper we show how a formalisation can be used to encapsulate representational aspects, affording us an opportunity to integrate representational reasoning into the design process. We have shown in [3] how properties over the abstract state place requirements on the presentation if the properties are to be valid at the perceptual level, and we have presented a model for such properties. We base our approach on this model, and examine in more detail the issue of verification. Given the widespread consensus that proper tool support is a prerequisite for the adoption of formal techniques, we apply a higher-order logic theorem prover to the analysis. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/764 |
ISBN: | 0-86339-7948 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
fahci98.pdf | 134,09 kB | Adobe PDF | Ver/Abrir |