On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications.
- Published in:
- Interacting with Computers, 2021, v. 33, n. 1, p. 92, doi. 10.1093/iwcomp/iwab016
- By:
- Publication type:
- Article
Works matching IS 09535438 AND DT 2021 AND VI 33 AND IP 1
Results: 6
1
2
Model-based Engineering of Feedforward Usability Function for GUI Widgets.
- Published in:
- Interacting with Computers, 2021, v. 33, n. 1, p. 73, doi. 10.1093/iwcomp/iwab014
- By:
- Publication type:
- Article
3
Balancing the formal and the informal in user-centred design.
- Published in:
- Interacting with Computers, 2021, v. 33, n. 1, p. 55, doi. 10.1093/iwcomp/iwab012
- By:
- Publication type:
- Article
4
Using Task Models to Understand the Intersection of Numeracy Skills and Technical Competence With Medical Device Design.
- Published in:
- Interacting with Computers, 2021, v. 33, n. 1, p. 40, doi. 10.1093/iwcomp/iwab011
- By:
- Publication type:
- Article
5
Engineering Task-based Augmented Reality Guidance: Application to the Training of Aircraft Flight Procedures.
- Published in:
- Interacting with Computers, 2021, v. 33, n. 1, p. 17, doi. 10.1093/iwcomp/iwab007
- By:
- Publication type:
- Article
6
Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems.
- Published in:
- Interacting with Computers, 2021, v. 33, n. 1, p. 1, doi. 10.1093/iwc/iwab005
- By:
- Publication type:
- Article