The Handbook of Task Analysis for Human-Computer Interaction
Preview
Dan Diaper, Neville Stanton. are basically restricted to decomposing tasks into subtasks and temporal operators. Successive models refine the temporal relationships using pre- and postconditions (MUSE), abstract data types and axioms ...