A task model-based approach for the design and evaluation of innovative user interfaces

This book describes a task model-based approach for developing interactive systems, where task models succeeded in supporting different phases of the software development life cycle, from design, to verification, to evaluation. Different techniques have been used in the various phases, all of them taking benefits from the expressiveness and flexibility provided by CTT notation and related tool. The proposed approach has been applied to a case study in the Air Traffic Control field and several examples have been provided so as to show the feasibility and effectiveness of the method.