Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/90149
Título: | Prototyping with the IVY workbench: bridging formal methods and user-centred design |
Autor(es): | Costa, Rafael Braga da Campos, José C. |
Palavras-chave: | Formal methods User-centred design Prototyping |
Data: | 2023 |
Editora: | Springer |
Revista: | Lecture Notes in Computer Science (LNCS) |
Citação: | da Costa, R. B. and Campos, J. C. (2023). Prototyping with the IVY work- bench: Bridging formal methods and user-centred design. In Human-Computer Interaction – INTERACT 2023, volume 14143 of Lecture Notes in Computer Science, pages 504–513. Springer. |
Resumo(s): | The IVY workbench is a model-based tool for the formal modelling and verification of interactive systems. The tool uses model checking to carry out the verification step. The goal is not to replace, but to complement more exploratory and iterative user-centred design approaches. However, the need for formal and rigorous modelling and reasoning raises challenges for the integration of both approaches. This paper presents a new plugin that aims to provide support for the integration of the formal methods based analysis supported by the tool, with user-centred design. The plugin is described, and an initial validation of its functionalities presented. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/90149 |
ISBN: | 978-3-031-42282-9 978-3-031-42283-6 |
DOI: | 10.1007/978-3-031-42283-6_27 |
ISSN: | 0302-9743 |
e-ISSN: | 1611-3349 |
Versão da editora: | https://link.springer.com/chapter/10.1007/978-3-031-42283-6_27 |
Arbitragem científica: | yes |
Acesso: | Acesso embargado (6 Meses) |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
P-00Y-YB1 (1).pdf Até 2024-07-01 | 613,18 kB | Adobe PDF | Ver/Abrir |