Guest Editorial Special Issue on Systematic Approaches to Human-Machine Interface: Improving Resilience, Robustness, and Stability
暂无分享,去创建一个
[1] Tim Menzies,et al. GALE: Geometric Active Learning for Search-Based Software Engineering , 2015, IEEE Transactions on Software Engineering.
[2] Nadine B. Sarter,et al. How in the World Did We Ever Get into That Mode? Mode Error and Awareness in Supervisory Control , 1995, Hum. Factors.
[3] Neville A. Stanton,et al. Ecological Interface Design Two Decades On: Whatever Happened to the SRK Taxonomy? , 2015, IEEE Transactions on Human-Machine Systems.
[4] Kim J. Vicente,et al. Coping with Human Errors through System Design: Implications for Ecological Interface Design , 1989, Int. J. Man Mach. Stud..
[5] Ellen J. Bass,et al. A Formal Task-Analytic Approach to Medical Device Alarm Troubleshooting Instructions , 2016, IEEE Transactions on Human-Machine Systems.
[6] Thomas B. Sheridan,et al. Risk, Human Error, and System Resilience: Fundamental Ideas , 2008, Hum. Factors.
[7] Erik Hollnagel,et al. Resilience Engineering in Practice: A Guidebook , 2012 .
[8] K. Mosier,et al. Human Decision Makers and Automated Decision Aids: Made for Each Other? , 1996 .
[9] David Woods,et al. Resilience Engineering: Concepts and Precepts , 2006 .
[10] Jens Rasmussen,et al. Cognitive Systems Engineering , 2022 .
[11] Ellen J. Bass,et al. Using Formal Verification to Evaluate Human-Automation Interaction: A Review , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[12] C. S. Holling. Resilience and Stability of Ecological Systems , 1973 .
[13] Karen M. Feigh,et al. Example of a Complementary Use of Model Checking and Human Performance Simulation , 2014, IEEE Transactions on Human-Machine Systems.
[14] Jens Rasmussen,et al. The role of hierarchical knowledge representation in decisionmaking and system management , 1985, IEEE Transactions on Systems, Man, and Cybernetics.
[15] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[16] Enrico Vicario,et al. Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living , 2013, IEEE Transactions on Human-Machine Systems.
[17] René van Paassen,et al. Automatically Generating Specification Properties From Task Models for the Formal Verification of Human–Automation Interaction , 2014, IEEE Transactions on Human-Machine Systems.
[18] David F. Feldon,et al. Cognitive task analysis , 2009 .
[19] Shin Nakajima,et al. The SPIN Model Checker : Primer and Reference Manual , 2004 .
[20] Stephan Merz,et al. Model Checking , 2000 .
[21] K. J. Vicente,et al. Cognitive Work Analysis: Toward Safe, Productive, and Healthy Computer-Based Work , 1999 .