Pablo Lucio de la
Fuente Redondo
Pablo Lucio de la Fuente Redondo-rekin lankidetzan egindako argitalpenak (18)
2011
-
Análisis y diseño para el desarrollo de aplicaciones basado en componentes
V Jornadas de Ingeniería del Software y bases de datos
-
Consulta a bases de datos relacionales y documentos XML. Estado del arte y una nueva propuesta
3ª. Conferencia de la asociación Portuguesa de Sistemas de Información (3ª CAPSI), Portugal
2009
-
Presentation adaptation: Results from a case study
Engineering the User Interface: From Research to Practice (Springer London), pp. 211-223
-
Presentation adaptation: Results from a case study
Engineering the User Interface: From Research to Practice
2007
-
Comparativa de 4 lenguajes genéricos de definición de interfaces de usuario
Actas del VIII Congreso Internacional de Interacción Persona Ordenador (INTERACCIÓN 2007)
2006
-
Adaptación de la presentación : resultados de un caso práctico
Diseño de la interacción persona persona-ordenador, tendencias y desafíos (Comité de Organización de INTERACCION'2006), pp. 35-44
-
Formal methods for UML
Modern Formal Methods and Applications (Springer Netherlands), pp. 177-196
2005
-
An "abstract process" approach to algebraic dynamic architecture description
Journal of Logic and Algebraic Programming, Vol. 63, Núm. 2, pp. 177-214
-
Recommending elements to be added to the user interface
IADIS International Conference WWW/Internet 2005
-
Two different tools for user interface personalization
IADIS International Conference WWW/Internet 2005
-
UML automatic verification tool with formal methods
Electronic Notes in Theoretical Computer Science
2003
-
Adaptación de la presentación: un ejemplo de utilización aplicado a una biblioteca de arte
SISOFT 2003 II Simposio Internacional de Sistemas de Información e Ingeniería de Software en la Sociedad del Conocimiento.
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
-
Nueva visión y tendencias del e-business para aumentar su rentabilidad
JIS 2002: IV Jornades Informàtica i societat
2001
-
Estado del arte del desarrollo de aplicaciones basado en componentes
Atas da Conferência da Associação Portuguesa de Sistemas de Informação
-
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