Publicaciones en las que colabora con CARLOS ENRIQUE CUESTA QUINTERO (17)

2008

  1. Enhancing literary electronic books with logical structure: Electronic work

    Electronic Library, Vol. 26, Núm. 4, pp. 490-504

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. Clasificación y Aspectos Ontoloógicos en Ingeniería de Software

    Aspectos filosóficos, psicológicos y metodológicos de la informática (Dykinson), pp. 141-156

  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. Clasificación y organización conceptual en ingeniería de software: dimensiones ontológica, metalingüística, subjetiva y evolutiva

    Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004

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