scholarly journals Formal Modelling as a Component of User Centred Design

2018 ◽  
pp. 274-289 ◽  
Author(s):  
Michael D. Harrison ◽  
Paolo Masci ◽  
José Creissac Campos
Keyword(s):  
Formal Modelling ◽  
User Centred Design

scholarly journals Balancing the formal and the informal in user-centred design

2021 ◽  
Author(s):  
Michael D Harrison ◽  
Paolo Masci ◽  
José Creissac Campos
Keyword(s):  
Formal Methods ◽  
Systematic Approach ◽  
Formal Analysis ◽  
Interactive Systems ◽  
User Evaluation ◽  
Analysis Techniques ◽  
User Centred Design ◽  
Early Design Stages ◽  
Cooperative Evaluation

Abstract This paper explores the role of formal methods as part of the user-centred design of interactive systems. An iterative process is described, developing prototypes incrementally, proving user-centred requirements while at the same time evaluating the prototypes that are executable forms of the developed models using ‘traditional’ techniques for user evaluation. A formal analysis complements user evaluations. This approach enriches user-centred design that typically focuses understanding on context and producing sketch designs. These sketches are often non-functional (e.g. paper) prototypes. They provide a means of exploring candidate design possibilities using techniques such as cooperative evaluation. This paper describes a further step in the process using formal analysis techniques. The use of formal methods provides a systematic approach to checking plausibility and consistency during early design stages, while at the same time enabling the generation of executable prototypes. The technique is illustrated through an example based on a pill dispenser.

Digital Education Ecosystem (DEE): User-Centred Design of the Student Journey Configurator

2021 ◽  
Author(s):  
Ekaterina Mikhaylova ◽  
Areej Aldaghamin ◽  
Felix Ebberg ◽  
Olzhas Tokanov ◽  
Carsten Wolff ◽  
...  
Keyword(s):  
Digital Education ◽  
User Centred Design

User-centred design of smart products

Ergonomics ◽  
1997 ◽  
Vol 40 (10) ◽  
pp. 1159-1169 ◽  
Author(s):  
RUDY DEN BUURMAN
Keyword(s):  
User Centred Design ◽  
Smart Products

Formal modelling of attack scenarios and mitigation strategies in IEEE 1588

2021 ◽  
Author(s):  
Kelvin Anto ◽  
Partha S. Roop ◽  
Akshya K. Swain
Keyword(s):  
Mitigation Strategies ◽  
Formal Modelling ◽  
Ieee 1588
Sign in / Sign up

Export Citation Format

Share Document