Publicaciones en las que colabora con MANUEL BARRIO SOLORZANO (18)

2006

  1. Coordination as an Architectural Aspect

    Electronic Notes in Theoretical Computer Science, Vol. 154, Núm. 1 SPEC. ISS., pp. 25-41

  2. Coordination in Architectural Connection. Reflective and Aspectual Introduction

    L'objet, Vol. 12, Núm. 1, pp. 127-151

  3. Formal methods for UML

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

  4. Temporal superimposition of aspects for dynamic software architecture

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

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. Architectural aspects of architectural aspects

    Lecture Notes in Computer Science

  3. Meta-Level Architectural Connectors for Coordination

    New Issues on Coordination and Adaptation Techniques (Universidad de Málaga (UMA)), pp. 25-30

  4. Modelos estructurales de aspectos para arquitectura de software

    Actas de las X Jornadas de Ingeniería del Software y Bases de Datos

  5. UML automatic verification tool with formal methods

    Electronic Notes in Theoretical Computer Science

2004

  1. Reflection-based, aspect-oriented software architecture

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3047, pp. 43-56

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. Dynamic coordination architecture through the use of reflection

    Proceedings of the ACM Symposium on Applied Computing

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

1997

  1. El cálculo-[pi] como modelo de concurrencia para sistemas basados en objetos

    III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic]

  2. Formal model of concurrency for distributed object-oriented systems

    Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC

  3. Software architecture: Object vs. process approach

    Proceedings of the International Conference of the Chilean Computer Science Society