Manuel Barrio-Solórzano

According to our database, Manuel Barrio-Solórzano authored at least 15 papers between 1997 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2006

Coordination in Architectural Connection. Reflective and Aspectual Introduction.

Carlos E. Cuesta, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano, Houman Younessi

Obj. Logiciel Base données Réseaux, 2006

Temporal Superimposition of Aspects for Dynamic Software Architecture.

Carlos Enrique Cuesta Quintero, María del Pilar Romay, Pablo de la Fuente, Manuel Barrio-Solórzano

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005

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

Carlos E. Cuesta, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez

J. Log. Algebraic Methods Program., 2005

Coordination as an Architectural Aspect.

Carlos E. Cuesta, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano

Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005

Modelos estructurales de aspectos para arquitectura de software.

Carlos E. Cuesta, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano

Proceedings of the Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), 2005

Architectural Aspects of Architectural Aspects.

Carlos Enrique Cuesta Quintero, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano

Proceedings of the Software Architecture, 2nd European Workshop, 2005

2004

UML Automatic Verification Tool with Formal Methods.

Maria Encarnación Beato Gutiérrez, Manuel Barrio-Solórzano, Carlos Enrique Cuesta Quintero, Pablo de la Fuente

Proceedings of the Workshop on Visual Languages and Formal Methods, 2004

Reflection-Based, Aspect-Oriented Software Architecture.

Carlos Enrique Cuesta Quintero, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano

Proceedings of the Software Architecture, First European Workshop, 2004

2002

Introducing Reflection in Architecture Description Languages.

Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez

Proceedings of the Software Architecture: System Design, Development and Maintenance, IFIP 17^th World Computer Congress, 2002

Coordination in a Reflective Architecture Description Language.

Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001

Dynamic coordination architecture through the use of reflection.

Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

Formal Verification of Coherence for a Shared Memory Multiprocessor Model.

Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez, Carlos Enrique Cuesta Quintero, Pablo de la Fuente

Proceedings of the Parallel Computing Technologies, 2001

2000

Arquitectura de Software Dinámica Basada en Reflexión.

Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez

Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

1997

Software Architecture: Object vs. Process Approach.

Manuel Barrio-Solórzano, Pablo de la Fuente

Proceedings of 17th International Conference of the Chilean Computer Science Society (SCCC '97), 1997

A Formal Model of Concurrency for Distributed Object-Oriented Systems.

Manuel Barrio-Solórzano, Pablo de la Fuente

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997