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

被引：0
|
作者：
da Costa, Rafael Braga
Campos, Jose Creissac [1 ]
机构：
[1] Univ Minho, Braga, Portugal
来源：
HUMAN-COMPUTER INTERACTION - INTERACT 2023, PT II | 2023年 / 14143卷
关键词：
Formal methods; user-centred design; prototyping;
D O I：
10.1007/978-3-031-42283-6_27
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：504 / 513
页数：10
相关论文
共 50 条
  • [1] Balancing the Formal and the Informal in User-centred Design
    Harrison, Michael D.
    Masci, Paolo
    Campos, Jose Creissac
    [J]. INTERACTING WITH COMPUTERS, 2021, 33 (01) : 55 - 72
  • [2] Introducing user-centred design methods into design education
    Gheerawo, RR
    Donahue, SJ
    [J]. DESIGNING A MORE INCLUSIVE WORLD, 2004, : 21 - 30
  • [3] Tools for User-Centred Design
    Case, Keith
    [J]. CURRENT TRENDS IN ERGONOMICS, 2013, 10 : 28 - 33
  • [4] The Challenges of User-Centred Design
    Hudson, William
    [J]. COMPUTER-AIDED DESIGN OF USER INTERFACES VI, 2009, : 1 - 8
  • [5] Horizons of User-Centred Design
    Croci, Valentina N.
    [J]. ARCHITECTURAL DESIGN, 2008, (196) : 124 - 127
  • [6] MoPeDT - Features and Evaluation of a User-Centred Prototyping Tool
    Leichtenstern, Karin
    Andre, Elisabeth
    [J]. EICS 2010: PROCEEDINGS OF THE 2010 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, 2010, : 93 - 102
  • [7] User-centred design research methods - the designer's perspective
    Bruseberg, A
    McDonagh-Philp, D
    [J]. INTEGRATING DESIGN EDUCATION BEYOND 2000, 2000, : 179 - 184
  • [8] Formal model for user-centred adaptive mobile devices
    Di Noia, Tommaso
    Di Sciascio, Eugenio
    Donini, Francesco Maria
    Mongiello, Marina
    Nocera, Francesco
    [J]. IET SOFTWARE, 2017, 11 (04) : 156 - 164
  • [9] Introduction to User-Centred Design Sprint
    Larusdottir, Marta
    Roto, Virpi
    Cajander, Asa
    [J]. HUMAN-COMPUTER INTERACTION, INTERACT 2021, PT V, 2021, 12936 : 253 - 256
  • [10] Developing for Autism with User-Centred Design
    Menzies, Rachel
    [J]. ASSETS 11: PROCEEDINGS OF THE 13TH INTERNATIONAL ACM SIGACCESS CONFERENCE ON COMPUTERS AND ACCESSIBILITY, 2011, : 313 - 314
12345