Manuel Barrio-Solórzano

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