Manuel Barrio-Solórzano

Publication Activity (10 Years)

Years Active: 1997-2006
Publications (10 Years): 0

Publications

Carlos E. Cuesta, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano
Coordination as an Architectural Aspect. Electron. Notes Theor. Comput. Sci. 154 (1) (2006)
Carlos Enrique Cuesta Quintero, María del Pilar Romay, Pablo de la Fuente, Manuel Barrio-Solórzano
Temporal Superimposition of Aspects for Dynamic Software Architecture. FMOODS (2006)
Carlos E. Cuesta, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano, Houman Younessi
Coordination in Architectural Connection. Reflective and Aspectual Introduction. Obj. Logiciel Base données Réseaux 12 (1) (2006)
Maria Encarnación Beato Gutiérrez, Manuel Barrio-Solórzano, Carlos Enrique Cuesta Quintero, Pablo de la Fuente
UML Automatic Verification Tool with Formal Methods. Electron. Notes Theor. Comput. Sci. 127 (4) (2005)
Carlos E. Cuesta, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano
Modelos estructurales de aspectos para arquitectura de software. JISBD (2005)
Carlos E. Cuesta, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez
An "abstract process" approach to algebraic dynamic architecture description. J. Log. Algebraic Methods Program. 63 (2) (2005)
Carlos Enrique Cuesta Quintero, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano
Architectural Aspects of Architectural Aspects. EWSA (2005)
Carlos Enrique Cuesta Quintero, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano
Reflection-Based, Aspect-Oriented Software Architecture. EWSA (2004)
Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez
Coordination in a Reflective Architecture Description Language. COORDINATION (2002)
Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez
Introducing Reflection in Architecture Description Languages. WICSA (2002)
Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez, Carlos Enrique Cuesta Quintero, Pablo de la Fuente
Formal Verification of Coherence for a Shared Memory Multiprocessor Model. PaCT (2001)
Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano
Dynamic coordination architecture through the use of reflection. SAC (2001)
Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez
Arquitectura de Software Dinámica Basada en Reflexión. JISBD (2000)
Manuel Barrio-Solórzano, Pablo de la Fuente
Software Architecture: Object vs. Process Approach. SCCC (1997)
Manuel Barrio-Solórzano, Pablo de la Fuente
A Formal Model of Concurrency for Distributed Object-Oriented Systems. APSEC (1997)