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
    INTERACTING WITH COMPUTERS, 2021, 33 (01) : 55 - 72
  • [2] Introducing user-centred design methods into design education
    Gheerawo, RR
    Donahue, SJ
    DESIGNING A MORE INCLUSIVE WORLD, 2004, : 21 - 30
  • [3] The Challenges of User-Centred Design
    Hudson, William
    COMPUTER-AIDED DESIGN OF USER INTERFACES VI, 2009, : 1 - 8
  • [4] Tools for User-Centred Design
    Case, Keith
    CURRENT TRENDS IN ERGONOMICS, 2013, 10 : 28 - 33
  • [5] Horizons of User-Centred Design
    Croci, Valentina N.
    ARCHITECTURAL DESIGN, 2008, (196) : 124 - 127
  • [6] MoPeDT - Features and Evaluation of a User-Centred Prototyping Tool
    Leichtenstern, Karin
    Andre, Elisabeth
    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
    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
    IET SOFTWARE, 2017, 11 (04) : 156 - 164
  • [9] Developing for Autism with User-Centred Design
    Menzies, Rachel
    ASSETS 11: PROCEEDINGS OF THE 13TH INTERNATIONAL ACM SIGACCESS CONFERENCE ON COMPUTERS AND ACCESSIBILITY, 2011, : 313 - 314
  • [10] Introduction to User-Centred Design Sprint
    Larusdottir, Marta
    Roto, Virpi
    Cajander, Asa
    HUMAN-COMPUTER INTERACTION, INTERACT 2021, PT V, 2021, 12936 : 253 - 256
12345