José Campos
11
Models
1
Tools
Publications
- Balancing the formal and the informal in user centred design
- Formal modelling as a component of user centred design
- Modelling information resources and their salience in medical device design
- Systematic analysis of control panel interfaces using formal tools
- Verification Templates for the Analysis of User Interface Software Design
- Verification of user interface software in PVS: the example of FDA requirements and programmable medical devices