|
Volumn , Issue , 2009, Pages 221-232
|
Toward a formal task-based specification framework for collaborative environments
|
Author keywords
[No Author keywords available]
|
Indexed keywords
BEHAVIORAL DYNAMICS;
COLLABORATIVE ENVIRONMENTS;
COLLABORATIVE TASKS;
FORMAL SPECIFICATION LANGUAGE;
PRECISE MODELS;
SPECIFICATION FRAMEWORKS;
TASK-BASED;
TWO-COMPONENT;
COMPUTER AIDED DESIGN;
SEMANTICS;
SPECIFICATION LANGUAGES;
SPECIFICATIONS;
USER INTERFACES;
|
EID: 84878901614
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1007/978-1-84882-206-1-20 Document Type: Conference Paper |
Times cited : (8)
|
References (9)
|