Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design

dc.contributor.author	José Creissac Campos	en
dc.contributor.author	Rafael Braga Costa	en
dc.contributor.other	5599	en
dc.contributor.other	8206	en
dc.date.accessioned	2024-03-19T15:40:31Z
dc.date.available	2024-03-19T15:40:31Z
dc.date.issued	2023	en
dc.description.abstract	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. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.	en
dc.identifier	P-00Y-YB1	en
dc.identifier.uri	https://repositorio.inesctec.pt/handle/123456789/14898
dc.language	eng	en
dc.rights	info:eu-repo/semantics/openAccess	en
dc.title	Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design	en
dc.type		en
dc.type	Publication	en

Now showing 1 - 1 of 1