Skip to main content

3 Result(s)

within M. Gea Remove this filter Models and Principles Remove this filter

and

  1. No Access

    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...

    M. Gea, F. L. Gutierrez, J. C. Torres… in Design, Specification and Verification of … (1999)

  2. No Access

    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...

    M. Cabrera, J. C. Torres, M. Gea in Design, Specification and Verification of … (1999)

  3. No Access

    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...

    J. C. Torres, M. Gea, F. L. Gutierrez… in Design, Specification and Verification of … (1996)