𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Systematic Approach to Model Checking Human–Automation Interaction Using Task Analytic Models

✍ Scribed by Bolton, M.L.; Siminiceanu, R.I.; Bass, E.J.

Book ID
114670753
Publisher
IEEE
Year
2011
Tongue
English
Weight
959 KB
Volume
41
Category
Article
ISSN
1083-4427

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal and structured approach to the
A formal and structured approach to the use of task analysis in accident modelling
✍ R.M. BOTTING; C.W. JOHNSON 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 406 KB

Recent work (Telford & Johnson, 1996;Johnson, 1997), involving the application of formal notations to analyse accident reports has shown that the quality of these accident reports is poor, so much so that their conclusions can be misleading. The proposed solution has been to use formal notations in

[Lecture Notes in Computer Science] Task
[Lecture Notes in Computer Science] Task Models and Diagrams for Users Interface Design Volume 4385 || A Model-Based Approach to Develop Interactive System Using IMML
✍ Coninx, Karin; Luyten, Kris; Schneider, Kevin A. 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 248 KB

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 2006, held in Hasselt, Belgium. More than 20 papers cover such topics as tool support, model-based interface development, user interface pat