Publicação

Using task knowledge to guide interactor specifications analysis

Ver documento

Detalhes bibliográficos
Resumo:This paper looks at how to extend the type of analysis that can be done using interactor based models of interactive systems, the i2smv tool, and SMV. Originally, the type of analysis performed with i2smv/SMV was concerned with the exhaustive exploration of all possible behaviours of a device, with little direct consideration of the tasks it should support. The paper investigates how task models can be introduced into the approach in order to extend the range of properties that can be analysed.
Autores principais:Campos, J. Creissac
Assunto:Task models Model checking
Ano:2003
País:Portugal
Tipo de documento:capítulo de livro
Tipo de acesso:acesso aberto
Instituição associada:Universidade do Minho
Idioma:inglês
Origem:RepositóriUM - Universidade do Minho

Registos relacionados

Registos relacionados