|
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 |