Beyond modeling: an integrated environment supporting co-execution of tasks and systems models, Proc. of the 2nd ACM SIGCHI symp. on Engineering interactive computing systems (EICS '10), pp.165-174, 2010. ,
Reusable structures in task models, pp.251-265, 1997. ,
The Psychology of Human-Computer Interaction, 1983. ,
The entity-relationship model---toward a unified view of data, ACM Transactions on Database Systems, vol.1, issue.1, pp.9-36, 1976. ,
DOI : 10.1145/320434.320440
Exploring the Effect of Control-Flow and Traversal Direction on VPL Usability for Novices, Journal of Visual Languages & Computing, vol.13, issue.5, pp.471-500, 2002. ,
DOI : 10.1006/jvlc.2002.0240
Computer brainstorms: More heads are better than one., Journal of Applied Psychology, vol.78, issue.4, pp.531-537, 1993. ,
DOI : 10.1037/0021-9010.78.4.531
Productivity loss in brainstorming groups: Toward the solution of a riddle., Journal of Personality and Social Psychology, vol.53, issue.3, pp.497-509, 1987. ,
DOI : 10.1037/0022-3514.53.3.497
More precise descriptions of temporal relations within task models. Design, Specification, and Verification of Interactive Systems (DSV-IS'00), pp.151-168, 2000. ,
DOI : 10.1007/3-540-44675-3_10
Modeling patterns for task models, Proceedings of the 3rd annual conference on Task models and diagrams , TAMODIA '04, pp.99-104, 2004. ,
DOI : 10.1145/1045446.1045465
Temporal aspects of tasks in the User Action Notation in Human Computer Interaction, pp.1-45, 1992. ,
Introduction To Automata Theory, Languages, And Computation, 1990. ,
DOI : 10.1145/568438.568455
Task knowledge structures: Psychological basis and integration into system design, Acta Psychologica, vol.78, issue.1-3, pp.3-26, 1991. ,
DOI : 10.1016/0001-6918(91)90003-I
Towards Uniformed Task Models in a Model-Based Approach, 8th Workshop on Interactive Systems: Design, Specification, and Verification-(DSV-IS '01), pp.164-182, 2001. ,
DOI : 10.1007/3-540-45522-1_10
Determining socio-technical systems requirements: experiences with generating and walking through scenarios, Journal of Lightwave Technology, pp.213-222, 2003. ,
DOI : 10.1109/ICRE.2003.1232752
Model-based training, Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems, EICS '11 ,
DOI : 10.1145/1996461.1996495
A Tool Suite for Integrating Task and System Models through Scenarios, 8th Eurographics workshop on Design, Specification and Verification of Interactive Systems, 2001. ,
DOI : 10.1007/3-540-45522-1_6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.6060
ICOs, ACM Transactions on Computer-Human Interaction, vol.16, issue.4, pp.1-56, 2009. ,
DOI : 10.1145/1614390.1614393
A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers, pp.309-328, 2003. ,
Kommunikation Mit Automaten, Technical University Darmstadt, 1962. ,
Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours, IFIP 13.5 Working Conf. on Human Error, Safety and Systems Development (HESSD), pp.109-130, 2004. ,
DOI : 10.1007/1-4020-8153-7_8
CTTE, CHI '01 extended abstracts on Human factors in computing systems , CHI '01, 2001. ,
DOI : 10.1145/634067.634084
ConcurTaskTrees: An Engineered Notation for Task Model. The Handbook of Task Analysis for Human-Computer Interaction, pp.483-503, 2003. ,
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models, Proc. of Interact'97, pp.362-369, 1997. ,
DOI : 10.1007/978-0-387-35175-9_58
Applying information visualization techniques to visual representations of task models, Proceedings of the 3rd annual conference on Task models and diagrams , TAMODIA '04, pp.105-111, 2004. ,
DOI : 10.1145/1045446.1045466
Timed Automata, Proceedings of the 11th International Conference on Computer Aided Verification (CAV '99), pp.8-22, 1999. ,
Prototyping for tiny fingers, Communications of the ACM, vol.37, issue.4, pp.21-27, 1994. ,
DOI : 10.1145/175276.175288
Hierarchical planning as method for task analysis: the example of office task analysis, Behaviour & Information Technology, vol.3, issue.3, pp.1362-3001, 1988. ,
DOI : 10.1016/S0020-7373(84)80054-1
Practical Extensions for Task Models, TAMODIA 2007, pp.42-55, 2007. ,
DOI : 10.1007/978-3-540-77222-4_5
Euterpe -Tool support for analyzing cooperative environments, Ninth European Conf. on Cognitive Ergonomics, pp.25-30, 1998. ,
An Ontology for Task World Models, pp.57-70, 1998. ,
DOI : 10.1007/978-3-7091-3693-5_5
A survey of structured and object-oriented software specification methods and techniques, ACM Computing Surveys, vol.30, issue.4, pp.459-527, 1998. ,
DOI : 10.1145/299917.299919
Transition network grammars for natural language analysis, Communications of the ACM, vol.13, issue.10, pp.591-606, 1970. ,
DOI : 10.1145/355598.362773