Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/38820
Título: | Considering context and users in interactive systems analysis |
Autor(es): | Campos, J. Creissac Harrison, Michael D. |
Palavras-chave: | Iinteractive systems Modelling Analysis Context Interactive systems |
Data: | 2008 |
Editora: | Springer Verlag |
Revista: | Lecture Notes in Computer Science |
Resumo(s): | Although the take-up of formal approaches to modelling and reasoning about software has been slow, there has been recent interest and facility in the use of automated reasoning techniques such as model checking [5] on increasingly complex systems. In the case of interactive systems, formal methods can be particularly useful in reasoning about systems that involve complex interactions. These techniques for the analysis of interactive systems typically focus on the device and leave the context of use undocumented. In this paper we look at models that incorporate complexity explicitly, and discuss how they can be used in a formal setting. The paper is concerned particularly with the type of analysis that can be performed with them. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/38820 |
ISBN: | 9783540926979 |
DOI: | 10.1007/978-3-540-92698-6_12 |
ISSN: | 0302-9743 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |