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