-
Chapter and Conference Paper
GRALPLA: An Algebraic Specification Language for Interactive Graphic Systems
The specification of interactive graphic systems involves the use of formal methods to describe the synchronization restrictions and graphic information. Several proposals have been made trying to join formali...
-
Chapter and Conference Paper
Modelisation of Co-operative Work
Nowadays, there is an increasing interest in user co-operation and the different ways of accomplishing user tasks. Users share a common scenario sinudtarreously. In such systems, we must take into account tech...
-
Chapter and Conference Paper
Towards User Interfaces Prototy** from Algebraic Specification
This paper describes the use of an algebraic specification language GRALPLA 1, 2, 3, to specify User Interface. In order to obtain a description at a high level of abstraction, the specification language has been...
-
Chapter
HCI Curricula in Spain
In this paper we present an initiative born within the Spanish Human-Computer Interaction Association (AIPO). Our aim is the creation of a group work to discuss the basic contents of an introductory course to ...
-
Chapter and Conference Paper
Adaptive and Context-Aware Hypermedia Model for Users with Communication Disabilities
-
Article
Integrative biology in the discovery of relevant biomarkers monitoring cognitive disorders pathogenesis and progression
Cognitive disorders are highly heterogeneous in terms of symptoms, clinical aetiologies, disease progression and therapeutic responses. Furthermore, their potential biological causes remain largely unknown. Pr...
