Description
PART 1: FROM THE BEGINNING Introduction Let’s Start The End of the Beginning On Non-Determinism, Golems, Fear, and the Case of the Night Alarm Korean Airlines Flight 007 and Non-Determinism PART 2: MODELS OF DEVICES, INTERNET, AND CONTROL SYSTEMS The Statecharts Way Models of Everyday Things Surfing and Analyzing Internet Sites Automated Control Systems The Crash of an Airbus A-320 in Strasbourg, France, and Mode-Mode Interaction Guidelines for Design PART 3: BACK TO FORMAL Formal Aspects of Human-Automation Interaction Human-Automation Interaction: The Case of a New Autopilot A New Flight Management Function: The Complete Evaluation Process Conclusion
