Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours

@inproceedings{Palanque2004TaskPF,
  title={Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours},
  author={Philippe A. Palanque and Sandra Basnyat},
  booktitle={Human Error, Safety and Systems Development},
  year={2004}
}
While designing interactive software, the use of a formal specification technique is of great help because it provides non-ambiguous, complete and concise notations. The advantages of using such a formalism is widened if it is provided by formal analysis techniques that allow to prove properties about the design, thus giving an early verification to the designer before the application is actually implemented. However, formal specification of interactive systems (even though aiming to produce… CONTINUE READING