PABLO LUCIO DE LA
FUENTE REDONDO
Investigador en el periodo 1992-2019
MANUEL
BARRIO SOLORZANO
PROFESORES TITULARES DE UNIVERSIDAD
Publicaciones en las que colabora con MANUEL BARRIO SOLORZANO (18)
2006
-
Coordination as an Architectural Aspect
Electronic Notes in Theoretical Computer Science, Vol. 154, Núm. 1 SPEC. ISS., pp. 25-41
-
Coordination in Architectural Connection. Reflective and Aspectual Introduction
L'objet, Vol. 12, Núm. 1, pp. 127-151
-
Formal methods for UML
Modern Formal Methods and Applications (Springer Netherlands), pp. 177-196
-
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
-
An "abstract process" approach to algebraic dynamic architecture description
Journal of Logic and Algebraic Programming, Vol. 63, Núm. 2, pp. 177-214
-
Architectural aspects of architectural aspects
Lecture Notes in Computer Science
-
Meta-Level Architectural Connectors for Coordination
New Issues on Coordination and Adaptation Techniques (Universidad de Málaga (UMA)), pp. 25-30
-
Modelos estructurales de aspectos para arquitectura de software
Actas de las X Jornadas de Ingeniería del Software y Bases de Datos
-
UML automatic verification tool with formal methods
Electronic Notes in Theoretical Computer Science
2004
-
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
-
Coordination in a reflective architecture description language
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Introducing Reflection in Architecture Description Languages
Software Architecture, pp. 143-156
2001
-
Dynamic coordination architecture through the use of reflection
Proceedings of the ACM Symposium on Applied Computing
-
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
-
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
-
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]
-
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
-
Software architecture: Object vs. process approach
Proceedings of the International Conference of the Chilean Computer Science Society