Formally Expressing the Users Objects World in Task Models

Sybille Caffiau, Patrick Girard, Dominique L. Scapin, Laurent Guittet, Loé Sanou. Formally Expressing the Users Objects World in Task Models. In David England, Philippe A. Palanque, Jean Vanderdonckt, Peter J. Wild, editors, Task Models and Diagrams for User Interface Design, 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers. Volume 5963 of Lecture Notes in Computer Science, pages 117-130, Springer, 2009. [doi]

Abstract

Abstract is missing.