Balancing the formal and the informal in user centred design
|
José Campos |
Formal modelling as a component of user centred design
|
José Campos |
Modelling information resources and their salience in medical device design
|
José Campos |
Systematic analysis of control panel interfaces using formal tools
|
José Campos |
Validating an Approach to Formalize Use Cases with Ontologies
|
Rui Couto |
Verification of user interface software in PVS: the example of FDA requirements and programmable medical devices
|
José Campos |
Verification Templates for the Analysis of User Interface Software Design
|
José Campos |