Author: Miguel Cabrera
Publications
Co-authors
Productive Colleagues
Publications
Gea, Miguel, Vela, Francisco Luis Gutiérrez, Torres, Juan Carlos, Padilla, Nicolás, Cabrera, Miguel (1999): Modelisation of co-operative work. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 262-267.
Cabrera, Miguel, Torres, Juan Carlos, Gea, Miguel (1999): Towards User Interfaces for Rapid Prototyping from Algebraic Specifications. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 67-83.
Torres, Juan Carlos, Gea, Miguel, Vela, Francisco Luis Gutiérrez, Cabrera, Miguel, Rodriguez, M. (1996): GRALPLA: an Algebraic Specification Language for Interactive Graphic Systems. In: Bodart, Francois, Vanderdonckt, Jean M. (eds.) DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop June 5-7, 1996, Namur, Belgium. pp. 272-291.