Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/748| Título: | The role of verification in interactive systems design |
| Autor(es): | Campos, J. Creissac Harrison, M. D. |
| Data: | 1998 |
| Editora: | Springer Verlag |
| Citação: | JOHNSON, P.; MARKOPOULOS, P., ed. lit. - “Design, specification and verification of interactive systems ’98: proceedings of the Eurographics Workshop, 4, Abingdon, 1998”. Wien: Springer-Verlag, 1998. ISBN 3-211-83212-2. p. 155-170. |
| Resumo(s): | In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required properties; and that changing the focus from a global specification into partial, property oriented, specifications can provide a number of advantages and make verification act as an aid to decision making. We also present a compiler that allows for the verification of interactor specifications to be done in SMV, as well as a simple case study where verification is used to inform a design decision. |
| Tipo: | Artigo em ata de conferência |
| URI: | https://hdl.handle.net/1822/748 |
| ISBN: | 3-211-83212-2 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| CamposH98.pdf | 112,24 kB | Adobe PDF | Ver/Abrir |
