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

Ver registo simples
dc.contributor.authorCosta, Rafael Braga dapor
dc.contributor.authorCampos, José C.por
dc.date.accessioned2024-03-27T13:40:17Z
dc.date.available2024-07-01T06:00:19Z
dc.date.issued2023
dc.description.abstractThe 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.sponsorshipThis 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.distributioninternationalpor
dc.identifier.citationda 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.doi10.1007/978-3-031-42283-6_27por
dc.identifier.eisbn978-3-031-42283-6
dc.identifier.eissn1611-3349
dc.identifier.isbn978-3-031-42282-9
dc.identifier.issn0302-9743
dc.identifier.urihttps://hdl.handle.net/1822/90149
dc.language.isoengpor
dc.peerreviewedyespor
dc.publisherSpringerpor
dc.relationinfo:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F50014%2F2020/PTpor
dc.relation.publisherversionhttps://link.springer.com/chapter/10.1007/978-3-031-42283-6_27por
dc.rightsopenAccesspor
dc.subjectFormal methodspor
dc.subjectUser-centred designpor
dc.subjectPrototypingpor
dc.subject.fosCiências Naturais::Ciências da Computação e da Informaçãopor
dc.subject.fosEngenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informáticapor
dc.titlePrototyping with the IVY workbench: bridging formal methods and user-centred designpor
dc.typeconferencePaperpor
dspace.entity.typePublicationen
oaire.citationConferencePlaceYork, UKpor
oaire.citationEndPage513por
oaire.citationStartPage504por
oaire.citationVolume134143por
sdum.conferencePublicationHuman-Computer Interaction – INTERACT 2023: 19th IFIP TC13 International Conferencepor
sdum.journalLecture Notes in Computer Science (LNCS)por

Ficheiros

Pacote original

A mostrar 1 - 1 de 1
Nome:
P-00Y-YB1 (1).pdf
Tamanho:
613.18 KB
Formato:
Adobe Portable Document Format
Descrição:
Descarregar

Coleções

HASLab - Artigos em atas de conferências internacionais (texto completo) | Articles in international conference proceedings (full text)