The paper describes an experimental work conducted within the HILAS (Human Integration into the Lifecycle of Aviation Systemshttp://www.hilas.info/mambo/) project. The objective of...
Designers of commercial aviation flight decks have recently begun to consider ways to reduce or eliminate the use of paper documents in flight operations. Using ethnographic metho...
Validation is critically important when human performance models are used to predict the effect of future system designs on human performance. A model of flight deck operations was...
Brian F. Gore, Becky L. Hooey, Nancy Haan, Deborah...
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...