Publicaciones en las que colabora con María Encarnación Beato Gutiérrez (7)

2006

  1. Formal methods for UML

    Modern Formal Methods and Applications (Springer Netherlands), pp. 177-196

2005

  1. An "abstract process" approach to algebraic dynamic architecture description

    Journal of Logic and Algebraic Programming, Vol. 63, Núm. 2, pp. 177-214

  2. UML automatic verification tool with formal methods

    Electronic Notes in Theoretical Computer Science

2002

  1. Coordination in a reflective architecture description language

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Introducing Reflection in Architecture Description Languages

    Software Architecture, pp. 143-156

2001

  1. Formal verification of coherence for a shared memory multiprocessor model

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2000

  1. Arquitectura de Software DInámica basada en Reflexión

    ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 (Departamento de Informática), pp. 203-216