Along tasks analysis and modeling history it has been demonstrated by experience that task
modeling activities become cumbersome when performed on large, real-life systems …

This chapter provides an overview of several formal approaches for the design,
specification, and verification of interactive systems. For each approach presented, we …

With the increased adoption of artificial intelligence (AI) in industry and society, effective
human-AI interaction systems are becoming increasingly important. A central challenge in …

Task models produced from task analysis, are a very important element of UCD approaches
as they provide support for describing users goals and users activities, allowing human …

Task models are a very powerful artefact describing users' goals and users' activity and
contain numerous information extremely useful for designing usable interactive application …

Use error due to user interface design defects is a major concern in many safety critical
domains, for example avionics and health care. Early detection of latent user interface …

Task analysis can be considered as a fundamental component of user centered design
methods as it provides a unique way of analyzing in a systematic way users' roles and …

Training operators to efficiently operate critical systems is a cumbersome and costly activity.
A training program aims at modifying operators' knowledge and skills about the system they …

Operation of safety critical systems requires qualified operators that have detailed
knowledge about the system they are using and how it should be used. Instructional Design …

Designing systems in such a way that as much functions as possible are automated has
been the driving direction of research and engineering in aviation, space and more …