Prototyping with the IVY workbench: bridging formal methods and user-centred design

doi:10.1007/978-3-031-42283-6_27

Utilize este identificador para referenciar este registo: https://hdl.handle.net/1822/90149

Registo completo

Campo DC	Valor	Idioma
dc.contributor.author	Costa, Rafael Braga da	por
dc.contributor.author	Campos, José C.	por
dc.date.accessioned	2024-03-27T13:40:17Z	-
dc.date.available	2024-07-01T06:00:19Z	-
dc.date.issued	2023	-
dc.identifier.citation	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.	por
dc.identifier.isbn	978-3-031-42282-9	-
dc.identifier.issn	0302-9743	-
dc.identifier.uri	https://hdl.handle.net/1822/90149	-
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.	por
dc.description.sponsorship	This work is financed by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia, within project UIDB/50014/2020.	por
dc.language.iso	eng	por
dc.publisher	Springer	por
dc.relation	info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F50014%2F2020/PT	por
dc.rights	openAccess	por
dc.subject	Formal methods	por
dc.subject	User-centred design	por
dc.subject	Prototyping	por
dc.title	Prototyping with the IVY workbench: bridging formal methods and user-centred design	por
dc.type	conferencePaper	por
dc.peerreviewed	yes	por
dc.relation.publisherversion	https://link.springer.com/chapter/10.1007/978-3-031-42283-6_27	por
oaire.citationStartPage	504	por
oaire.citationEndPage	513	por
oaire.citationConferencePlace	York, UK	por
oaire.citationVolume	134143	por
dc.identifier.eissn	1611-3349	-
dc.identifier.doi	10.1007/978-3-031-42283-6_27	por
dc.identifier.eisbn	978-3-031-42283-6	-
dc.subject.fos	Ciências Naturais::Ciências da Computação e da Informação	por
dc.subject.fos	Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática	por
sdum.journal	Lecture Notes in Computer Science (LNCS)	por
sdum.conferencePublication	Human-Computer Interaction – INTERACT 2023: 19th IFIP TC13 International Conference	por
Aparece nas coleções:	HASLab - Artigos em atas de conferências internacionais (texto completo)

Ficheiros deste registo:

Ficheiro	Descrição	Tamanho	Formato
P-00Y-YB1 (1).pdf		613,18 kB	Adobe PDF	Ver/Abrir

Ver registo simples Sugerir correção Estatísticas

Citations

Altmetrics