Reducing the likelihood of human error in the use of interactive systems is increasingly importan... more Reducing the likelihood of human error in the use of interactive systems is increasingly important: the use of such systems is becoming widespread in applications that demand high reliability due to safety, security, financial or similar considerations. Interactive systems are also becoming increasingly ubiquitous and being used in new and more complex situations. Consequently, the use of formal methods in verifying the correctness of interactive systems should also include analysis of human behaviour in interacting with the interface and with the wider socio-technical system. The aim of the FMIS series of workshops is to bring together researchers in computer science, cognitive psychology, and areas of HCI, from academia and industry who are interested in both formal methods and interactive system design. The 1st International Workshop on Formal Methods for Interactive Systems (FMIS 2006) was previously held in Macau, SAR China in October 2006. FMIS addresses issues of how formal methods can be applied to interactive system design. Topics of interest include, for example, the development of formal tools, techniques and methodologies based on cognitive psychology results, the development and use of formal user models, case studies applying formal methods to interface design, and formal analysis of the design of the wider socio-technical systems. The scope of HCI issues covered extends to all aspects of applying formal methods to interactive systems, including usability, user experience, human error, etc. and also theory where there is a demonstrable link to interactive system design. Application areas within scope include for example: mobile devices, embedded systems, safety-critical systems, high-reliability systems, shared control systems, digital libraries, eGovernment, pervasive systems, augmented reality, ubiquitous computing, and computer security applications. This Pre-proceedings includes 11 papers accepted for presentation at the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007) held on 4th September 2007 in Lancaster UK, as a satellite event of the 21st British HCI Group Annual Conference on Human Computer Interaction (HCI 2007). It includes papers on topics such as formal models of aspects of cognition, ways to model and reason about human error and error recovery, use of transition systems in formal modelling, visualisation of formal models, modelling of physicality and model-based testing and refinement. All papers submitted to the workshop were reviewed by 3 referees followed by a meta-review process. From the 18 submissions the Program Committee selected 7 papers for long presentation and a further 4 papers for short presentation. Revised versions of the papers selected for long presentation will appear in the post-proceedings of the conference to be published by Elsevier in the series Electronic Notes in Theoretical Computer Science.
Reducing the likelihood of human error in the use of interactive systems is increasingly importan... more Reducing the likelihood of human error in the use of interactive systems is increasingly important: the use of such systems is becoming widespread in applications that demand high reliability due to safety, security, financial or similar considerations. Interactive systems are also becoming increasingly ubiquitous and being used in new and more complex situations. Consequently, the use of formal methods in verifying the correctness of interactive systems should also include analysis of human behaviour in interacting with the interface and with the wider socio-technical system. The aim of the FMIS series of workshops is to bring together researchers in computer science, cognitive psychology, and areas of HCI, from academia and industry who are interested in both formal methods and interactive system design. The 1st International Workshop on Formal Methods for Interactive Systems (FMIS 2006) was previously held in Macau, SAR China in October 2006. FMIS addresses issues of how formal methods can be applied to interactive system design. Topics of interest include, for example, the development of formal tools, techniques and methodologies based on cognitive psychology results, the development and use of formal user models, case studies applying formal methods to interface design, and formal analysis of the design of the wider socio-technical systems. The scope of HCI issues covered extends to all aspects of applying formal methods to interactive systems, including usability, user experience, human error, etc. and also theory where there is a demonstrable link to interactive system design. Application areas within scope include for example: mobile devices, embedded systems, safety-critical systems, high-reliability systems, shared control systems, digital libraries, eGovernment, pervasive systems, augmented reality, ubiquitous computing, and computer security applications. This Pre-proceedings includes 11 papers accepted for presentation at the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007) held on 4th September 2007 in Lancaster UK, as a satellite event of the 21st British HCI Group Annual Conference on Human Computer Interaction (HCI 2007). It includes papers on topics such as formal models of aspects of cognition, ways to model and reason about human error and error recovery, use of transition systems in formal modelling, visualisation of formal models, modelling of physicality and model-based testing and refinement. All papers submitted to the workshop were reviewed by 3 referees followed by a meta-review process. From the 18 submissions the Program Committee selected 7 papers for long presentation and a further 4 papers for short presentation. Revised versions of the papers selected for long presentation will appear in the post-proceedings of the conference to be published by Elsevier in the series Electronic Notes in Theoretical Computer Science.
Uploads
Papers by JOSE CAMPOS