CURRICULUM VITAE Ernesto Pimentel Sánchez

Tamaño: px
Comenzar la demostración a partir de la página:

Download "CURRICULUM VITAE Ernesto Pimentel Sánchez"

Transcripción

1 CURRICULUM VITAE Ernesto Pimentel Sánchez El abajo firmante, D. Ernesto Pimentel Sánchez, con DNI M, se responsabiliza de la veracidad de los datos contenidos en el presente currículo: Málaga, julio de 2013 Fdo.: Ernesto Pimentel Sánchez 1

2 APELLIDOS: PIMENTEL SANCHEZ NOMBRE: ERNESTO SEXO: V D.N.I.: FECHA NACIMIENTO: Nº FUNC.: A0504 DIRECCION PARTICULAR: C/ Murillo, 6. Urb. El Cantal. La Cala del Moral CIUDAD: MALAGA DISTRITO POSTAL: TELEFONO: ESPECIALIZACION (CODIGO UNESCO): FORMACIÓN ACADÉMICA LICENCIATURA CENTRO FECHA Matemáticas Facultad de Ciencias (Univ. de Málaga) DOCTORADO Informática Facultad de Informática (Univ. de Málaga) DIRECTOR DE TESIS: José Mª Troya Linero ORGANISMO: Universidad de Málaga CENTRO: E.T.S.I. Informática DEPT.: Dpto. de Lenguajes y Ciencias de la Computación CATEGORIA PROFESIONAL Y FECHA DE INICIO: Catedrático de Universidad, DIRECCION POSTAL: Campus de Teatinos Málaga TELEFONO: +34 (9) FAX: +34 (9) PLANTILLA: SI DEDICACION: TIEMPO COMPLETO SEXENIOS DE INVESTIGACIÓN: 3 ( , , ) ACTIVIDADES ANTERIORES DE CARÁCTER CIENTÍFICO O PROFESIONAL FECHAS PUESTO INSTITUCION 06/02/03 - Catedrático de Universidad Universidad de Málaga 23/05/95 05/02/03 Profesor T.U. Universidad de Málaga 26/01/92-22/05/95 Profesor T.E.U. Universidad de Málaga 01/10/90-25/01/92 Profesor T.E.U. Interino Universidad de Málaga 14/02/89-30/09/90 Profesor Asociado a T.C. Universidad de Málaga 01/01/89-13/02/89 Becario de FPI Ministerio de Educ. y Ciencia IDIOMAS DE INTERÉS CIENTÍFICO (R=regular, B=bien, C=correctamente) IDIOMA HABLA LEE ESCRIBE INGLES C C C FRANCES R B R ITALIANO R R FECHA DE CUMPLIMENTACION: FIRMA: 2

3 PROYECTOS DE INVESTIGACION FINANCIADOS TITULO DEL PROYECTO: SOFIA: Optimización y Orquestación de Servicios en Aplicaciones de Internet del Futuro ENTIDAD FINANCIADORA: Ministerio de Economía y Competitividad. TIN DURACION DESDE: 2013 HASTA: 2015 FINANCIACIÓN: INVESTIGADOR PRINCIPAL: Ernesto Pimentel Sánchez TITULO DEL PROYECTO: Nuevas Extensiones para el Uso de Técnicas Formales en Modelado, Verificación, Síntesis y Optimización de Sistemas Empotrados y de Comunicaciones Móviles ENTIDAD FINANCIADORA: Junta de Andalucía. P11-TIC7659 DURACION DESDE: 05/2012 HASTA: 04/2015 FINANCIACIÓN: ,75 INVESTIGADOR PRINCIPAL: María del Mar Gallardo TITULO DEL PROYECTO: NESSoS: Network of Excellence on Engineering Secure Future Internet Software Services and Systems ENTIDAD FINANCIADORA: Unión Europea. FP7-ICT DURACION DESDE: 10/2010 HASTA: 05/14 FINANCIACIÓN: INVESTIGADOR PRINCIPAL: Fabio Martinelli (CNR, Italia) / Javier López Muñoz TITULO DEL PROYECTO: Entorno para el Desarrollo de una Nueva Generación de Redes Sociales Móviles basadas en Android ENTIDAD FINANCIADORA: Ministerio de Ciencia e Innovación. TSI DURACION DESDE: 2009 HASTA: 2009 FINANCIACIÓN: INVESTIGADOR PRINCIPAL: ÁNDAGO INGENIERÍA, S.L. / Ernesto Pimentel Sánchez TITULO DEL PROYECTO: ReSCUE: Composición de Software Fiable en Entornos Ubicuos ENTIDAD FINANCIADORA: Ministerio de Educación y Ciencia. TIN DURACION DESDE: 2009 HASTA: 2012 FINANCIACIÓN: INVESTIGADOR PRINCIPAL: Ernesto Pimentel Sánchez TITULO DEL PROYECTO: Entorno para el Desarrollo de una Nueva Generación de Redes Sociales Móviles 3

4 basadas en Android ENTIDAD FINANCIADORA: Ministerio de Ciencia e Innovación. TSI DURACION DESDE: 2008 HASTA: 2008 FINANCIACIÓN: INVESTIGADOR PRINCIPAL: ÁNDAGO INGENIERÍA, S.L. / Ernesto Pimentel Sánchez TITULO DEL PROYECTO: Formal Verification of Object-Oriented Software ENTIDAD FINANCIADORA: COST Action. Unión Europea. IC0701 DURACION DESDE: 2008 HASTA: 2009 FINANCIACIÓN: INVESTIGADOR PRINCIPAL: Bernhard Beckert / Ernesto Pimentel Sánchez TITULO DEL PROYECTO: CARESS: Construcción y Adaptación de Servicios Software Fiables ENTIDAD FINANCIADORA: Ministerio de Educación y Ciencia. TIN DURACION DESDE: 2007 HASTA: 2008 FINANCIACIÓN: INVESTIGADOR PRINCIPAL: Ernesto Pimentel Sánchez TITULO DEL PROYECTO: Técnicas para mejorar la fiabilidad y las prestaciones de los servicios de Internet sobre Telefonía Móvil ENTIDAD FINANCIADORA: Junta de Andalucía. P07-TIC03131 DURACION DESDE: 2008 HASTA: 2011 FINANCIACIÓN: INVESTIGADOR PRINCIPAL: Pedro Merino Gómez TITULO DEL PROYECTO: PICASSO: Propuesta Integrada para la CAlidad de Sistemas SOftware ENTIDAD FINANCIADORA: Junta de Andalucía. Proyecto de Excelencia. P06-TIC DURACION DESDE: 2007 HASTA: 2010 FINANCIACIÓN: INVESTIGADOR PRINCIPAL: Ernesto Pimentel Sánchez TITULO DEL PROYECTO: TIC136: Grupo de Ingeniería del Software de la Universidad de Málaga ENTIDAD FINANCIADORA: Junta de Andalucía DURACION DESDE: 2006 HASTA: 2008 FINANCIACIÓN: INVESTIGADOR PRINCIPAL: José María Troya 4

5 TITULO DEL PROYECTO: SMEPP: Secure Middleware for Embedded Peer to Peer Systems ENTIDAD FINANCIADORA: Unión Europea. 6th Framework STREP Project. IST DURACION DESDE: 2006 HASTA: 2009 FINANCIACIÓN: INVESTIGADOR PRINCIPAL: Manuel Díaz Rodríguez TITULO DEL PROYECTO: Desarrollo e Implementación de Sistemas P2P seguros ENTIDAD FINANCIADORA: Junta de Andalucía. Proyecto de excelencia P06-TIC0522 DURACION DESDE: 2006 HASTA: 2008 FINANCIACIÓN: INVESTIGADOR PRINCIPAL: José María Troya TITULO DEL PROYECTO: SELF: Ingeniería del Software y Métodos Formales Ágiles ENTIDAD FINANCIADORA: Ministerio de Educación y Ciencia. TIN C04-01 DURACION DESDE: 2005 HASTA: 2007 FINANCIACIÓN: INVESTIGADOR PRINCIPAL: Ernesto Pimentel Sánchez TITULO DEL PROYECTO: TIC136: Grupo de Ingeniería del Software de la Universidad de Málaga ENTIDAD FINANCIADORA: Junta de Andalucía DURACION DESDE: 2003 HASTA: 2005 INVESTIGADOR PRINCIPAL: José María Troya TITULO DEL PROYECTO: SpaRCIM: Spanish Research Consortium for Informatics and Mathematics ENTIDAD FINANCIADORA: Acción Especial. Ministerio de Ciencia y Tecnología DURACION DESDE: 2003 HASTA: 2005 INVESTIGADOR PRINCIPAL: Esperanza Marcos (Univ. Rey Juan Carlos) TITULO DEL PROYECTO: WEST: Web Oriented SoftwareTechnology ENTIDAD FINANCIADORA: CYTED DURACION DESDE: 2002 HASTA: 2004 INVESTIGADOR PRINCIPAL: Óscar Pastor TITULO DEL PROYECTO: COLOGNET: Network of Excellence in Computational Logic ENTIDAD FINANCIADORA: Junta de Andalucía 5

6 DURACION DESDE: 2002 HASTA: 2004 INVESTIGADOR PRINCIPAL: Jörg Siekmann TITULO DEL PROYECTO: STREAM: Herramientas Software Formales. Una Aproximación Multiparadigma ENTIDAD FINANCIADORA: Ministerio de Ciencia y Tecnología. TIN C03-02 DURACION DESDE: 2002 HASTA: 2004 FINANCIACIÓN: INVESTIGADOR PRINCIPAL: Ernesto Pimentel Sánchez TITULO DEL PROYECTO: RITOS2: Red Iberoamericana de Tecnología del Software 2000 ENTIDAD FINANCIADORA: C.Y.T.E.D. DURACION DESDE: 2000 HASTA: 2002 INVESTIGADOR PRINCIPAL: Nieves Rodríguez / Ernesto Pimentel Sánchez (Univ. de Málaga) TITULO DEL PROYECTO: West: Web Oriented Software Technology ENTIDAD FINANCIADORA: C.Y.T.E.D. DURACION DESDE: 2000 HASTA: 2002 INVESTIGADOR PRINCIPAL: Óscar Pastor / José Mª Troya Linero TITULO DEL PROYECTO: Lenguajes y Modelos para la Interacción de Componentes Software ENTIDAD FINANCIADORA: Acción Integrada Hispano-Italiana DURACION DESDE: 1999 HASTA: 2001 INVESTIGADOR PRINCIPAL: José Mª Troya Linero TITULO DEL PROYECTO: Red Piloto de Medida de Radiación Ultravioleta-Fotosintética y Fotoprotección ENTIDAD FINANCIADORA: Proyecto FEDER. 1FD DURACION DESDE: 1999 HASTA: 2001 INVESTIGADOR PRINCIPAL: Félix López Figueroa / Ernesto Pimentel Sánchez TITULO DEL PROYECTO: TREND: Técnicas Avanzadas para el Desarrollo de Entornos Declarativos Proyecto Coordinado ENTIDAD FINANCIADORA: C.I.C.Y.T. TIC C03-03 DURACION DESDE: 1998 HASTA: 2001 INVESTIGADOR PRINCIPAL: Ernesto Pimentel Sánchez 6

7 TITULO DEL PROYECTO: Modularización, Concurrencia y Orientación a Objetos en Lenguajes Declarativos Proyecto Coordinado ENTIDAD FINANCIADORA: C.I.C.Y.T. TIC C03-02 DURACION DESDE: 1995 HASTA: 1998 INVESTIGADOR PRINCIPAL: Ernesto Pimentel Sánchez TITULO DEL PROYECTO: IDEAS: Ingeniería de Ambientes Software ENTIDAD FINANCIADORA: C.Y.T.E.D.. Proyecto VII.11 DURACION DESDE: 1997 HASTA: 1998 INVESTIGADOR PRINCIPAL: José Mª Troya Linero TITULO DEL PROYECTO: Un Entorno de Desarrollo de Sistemas Heterogéneos Distribuidos ENTIDAD FINANCIADORA: C.I.C.Y.T. TIC C02-01 DURACION DESDE: 1994 HASTA: 1997 INVESTIGADOR PRINCIPAL: José Mª Troya Linero TITULO DEL PROYECTO: Un lenguaje para selección de clases ENTIDAD FINANCIADORA: Comunidad Autónoma de Murcia INVESTIGADOR PRINCIPAL: Jesús García Molina TITULO DEL PROYECTO: TEMA: Terminal Multimedia de Banda Ancha (Tarea T7.4) ENTIDAD FINANCIADORA: C.I.C.Y.T. TIC PB DURACION DESDE: 1992 HASTA: 1995 INVESTIGADOR PRINCIPAL: José Mª Troya Linero TITULO DEL PROYECTO: Desarrollo de un Sistema de Programación Lógica para Arquitecturas Distribuidas. ENTIDAD FINANCIADORA: C.I.C.Y.T. TIC DURACION DESDE: 1991 HASTA: 1993 INVESTIGADOR PRINCIPAL: José Mª Troya Linero TITULO DEL PROYECTO: Sistema Informático para Programación Lógica Paralela ENTIDAD FINANCIADORA: Proyecto PETRI DURACION DESDE: 1990 HASTA: 1991 INVESTIGADOR PRINCIPAL: José Mª Troya Linero 7

8 TITULO DEL PROYECTO: Ejecución Paralela de Programas Lógicos ENTIDAD FINANCIADORA: Acción Integrada Hispano-Británica nº 238 DURACION DESDE: 1990 HASTA: 1991 INVESTIGADOR PRINCIPAL: José Mª Troya Linero 8

9 PUBLICACIONES EN REVISTAS (sin incluir actas de congresos) Indicar volumen, páginas inicial y final (año) y clave. CLAVE: L=libro completo, CL=capítulo de libro, A=artículo, R=review, E=editor AUTORES: E. Pimentel y V. Valero TITULO: Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software REF. REVISTA: J. of Logic and Algebraic Programming, CLAVE: E AUTORES: N. Gámez, J. Cubo, L. Fuentes y E. Pimentel TITULO: Configuring a Context-Aware Middleware for Wireless Sensor Networks REF. REVISTA: Journal Sensors 2012, 12(7), doi: /s CLAVE: A AUTORES: J. A. Martín-Baena, F. Martinelli y E. Pimentel TITULO: Synthesis for Secure Adaptors REF. REVISTA: J. of Logic and Algebraic Programming, 81(2): CLAVE: A AUTORES: J. A. Martín-Baena y E. Pimentel TITULO: Contracts for Security Adaptation REF. REVISTA: J. of Logic and Algebraic Programming, 80(3-5): CLAVE: A AUTORES: M. Katrib, J.L. Pastrana y E. Pimentel TITULO: QoS-enabled and Self-Adaptative Connectors for Web Services Composition and Coordination REF. REVISTA: Computer Languages, Systems and Structures. 37(1): CLAVE: A AUTORES: J. Cubo, C. Canal y E. Pimentel TITULO: Model-based Dependable Composition and Adaptation of Self-Adaptive Systems REF. REVISTA: Informatica (Int. J. of Computing and Informatics), 35: CLAVE: A 9

10 AUTORES: J. Cubo, C. Canal y E. Pimentel TITULO: Context-Aware Composition and Adaptation based on Model Transformation REF. REVISTA: Journal of Universal Computer Science, 17(5): CLAVE: A AUTORES: E. Pimentel y Jean-Marie Jacquet TITULO: Special Issue on the 5th International Workshop on Foundations on Coordination Languages and Software Architectures REF. REVISTA: Science of Computer Programming, 74(1): CLAVE: E AUTORES: A. Brogi, E. Pimentel y A. M. Roldán TITULO: Software Composition with Linda REF. REVISTA: Computer Languages, Systems and Structures, 35(4): CLAVE: A AUTORES: M. Katrib, J.L. Pastrana y E. Pimentel TITULO: Composition of Self-Adapting Components for Customizable Systems REF. REVISTA: The Computer Journal, 51(4): CLAVE: A AUTORES: M. Alpuente, M.M. Gallardo, E. Pimentel y A. Villanueva TITULO: Verifying Real-Time Properties of tccp Programs REF. REVISTA: J. of Universal Computer Science, 12(11): CLAVE: A AUTORES: M.M. Gallardo, J. Martínez, P. Merino y E. Pimentel TITULO: On the Evolution of Reliability Methods for Critical Software PUBLICACION: Journal of Intregrated Design & Process Science Applications of formal methods., vol 10(4): CLAVE: A AUTORES: M.M. Gallardo, J. Martínez, P. Merino, P. Núñez y E. Pimentel TITULO: PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. REF. REVISTA: Science of Computer Programming, 65(1): CLAVE: A AUTORES: S. Amaro, E. Pimentel y A. Roldán TITULO: Coordinating Behavioural Description of Components 10

11 REF. REVISTA: J. of Universal Computer Science, 11(10): Special Issue on Compositional Construction and Reasoning Techniques for Software CLAVE: A AUTORES: A. Brogi, C. Canal y E. Pimentel TITULO: Component adaptation through flexible subservicing REF. REVISTA: Science of Computer Programming, 63:39 56, Special Issue on Security Issues in Coordination Models. CLAVE: A AUTORES: A. Brogi, C. Canal y E. Pimentel TITULO: On the semantics of software adaptation REF. REVISTA: Science of Computer Programming, 61(2): , Special Issue on Foundations of Coordination Languages and Software Architectures. CLAVE: A AUTORES: A. Brogi, J.M. Jacquet y E. Pimentel TITULO: Special Issue on Foundations of Coordination Languages and Software Architectures. REF. REVISTA: Science of Computer Programming, 61(2), CLAVE: E AUTORES: M. Alpuente, M.M. Gallardo, E. Pimentel y A. Villanueva TITULO: A Semantic Framework for the Abstract Model Checking of tccp programs REF. REVISTA: Theoretical Computer Science, 346(1):58-95, CLAVE: A Special issue on Quantitative Aspects of Programming Languages AUTORES: A. Maña, J. López, J.J. Ortega, E. Pimentel y J.M. Troya TITULO: A Framework for secure execution of software REF. REVISTA: Int. Journal on Information Security, 3(2): Springer. CLAVE: A AUTORES: M.M. Gallardo, P. Merino y E. Pimentel TITULO: A Generalized Semantics of PROMELA for Abstract Model Checking REF. REVISTA: Formal Aspects of Computing, 16(3): CLAVE: A AUTORES: M.M. Gallardo, J. Martínez, P. Merino y E. Pimentel 11

12 TITULO: A Tool for Abstract Model Checking REF. REVISTA: Software Tools for Technology Transfer, 5(2-3): CLAVE: A AUTORES: M.I. Yagüe, A. Maña, J. López, E. Pimentel y J.M. Troya TITULO: A Secure Solution for Commercial Digital Libraries REF. REVISTA: Online Information Review Journal, 27(3): Emerald Publishers. CLAVE: A AUTORES: C. Canal, L. Fuentes, E. Pimentel, A. Vallecillo y J.M. Troya TITULO: Adding Roles to CORBA Objects REF. REVISTA: IEEE Trans. on Software Engineering, 29(3): CLAVE: A AUTORES: J.M. Álvarez, M. Díaz, L. Llopis, E. Pimentel y J.M. Troya TITULO: Integrating Schedulability Analysis and Design Techniques in SDL REF. REVISTA: Journal of Real-Time Systems, 24(3): CLAVE: A AUTORES: J.M. Álvarez, M. Díaz, L. Llopis, E. Pimentel y J.M. Troya TITULO: An Object Oriented Methodology for Embedded Real-Time Systems REF. REVISTA: The Computer Journal, 46(2): CLAVE: A AUTORES: J.M. Molina y E. Pimentel TITULO: Composing Programs in a Rewriting Logic for Declarative Programming REF. REVISTA: Theory and Practice of Logic Programming, 3(2): Cambridge University Press,. Marzo 2003 CLAVE: A AUTORES: M.M. Gallardo, P. Merino y E. Pimentel TITULO: Debugging UML Designs with Model Checking REF. REVISTA: Journal of Object Technology 1(2): CLAVE: A AUTORES: C. Canal, L. Fuentes, E. Pimentel, A. Vallecillo y J.M. Troya TITULO: Extending CORBA Interfaces with Protocols 12

13 REF. REVISTA: The Computer Journal 44 (5): Octubre CLAVE: A AUTORES: C. Canal, E. Pimentel y J.M. Troya TITULO: Compatibility and Inheritance in Software Architectures REF. REVISTA: Science of Computer Programming, 41(2): CLAVE: A AUTORES: A.J. Nebro, E. Pimentel y J.M. Troya TITULO: Distributed Objects: An Approach based on Replication and Migration REF. REVISTA: Journal of Object Oriented Programming, 12(1):22-27, 1999 CLAVE: A AUTORES: M. Carrillo, J. García, E. Pimentel e I. Repiso TITULO: Design by Contract in Smalltalk REF. REVISTA: Journal of Object Oriented Programming 9(7):23-28, 1996 CLAVE: A AUTORES: M. Díaz, E. Pimentel y J.M. Troya TITULO: DROL: A Distributed and Real-Time Object-Oriented Logic Environment REF. REVISTA: The Computer Journal 37(5): , 1994 CLAVE: A 13

14 PUBLICACIONES EN REVISTAS (en proceso de revisión) Indicar volumen, páginas inicial y final (año) y clave. CLAVE: L=libro completo, CL=capítulo de libro, A=artículo, R=review, E=editor AUTORES: V. Ciancia, F. Martinelli, I. Matteucci, M. Petrocchi, J.A. Martín and E. Pimentel TITULO: Automated synthesis and evaluation of secure BPMN orchestrators REF. REVISTA: Journal of Secure Software Engineering ISSN: CLAVE: A 14

15 PUBLICACIONES EN REVISTAS ELECTRÓNICAS AUTORES: E. Pimentel y V. Valero TITULO: Preface REF. REVISTA: Electronic Proc. of Theoretical Computer Science, 30:62-77 CLAVE: E Fifth WS on Formal Languages and Analysis of Contract-Oriented Software 2011 DOI: /EPTCS.68. ISSN: AUTORES: J. Cubo, E. Pimentel, G. Salaün y C. Canal TITULO: Handling Data-based Concurrency in Context-aware Service Protocols REF. REVISTA: Electronic Proc. of Theoretical Computer Science, 30:62-77 CLAVE: A Foundations of Coordination Languages and Software Architectures 2010 doi: /EPTCS.30.5 AUTORES: J. Cámara, J.A. Martín, G. Salaün, C. Canal y E. Pimentel TITULO: Semi-automatic Specification of Behavioural Service Adaptation Contracts REF. REVISTA: Electronic Notes in Theoretical Computer Science, 264(2):19-34 CLAVE: A Elsevier Science Formal Engineering approaches to Software Components and Architectures 2010 ISSN AUTORES: J.A. Martín y E. Pimentel TITULO: Dinapter: Automatic Adapter Specification for Software Composition REF. REVISTA: Electronic Notes in Theoretical Computer Science, 248: Elsevier Science Conference on Programming and Computer Languages 2008 ISSN CLAVE: A AUTORES: J.A. Martín y E. Pimentel TITULO: Automatic Generation of Adaptation Contracts REF. REVISTA: Electronic Notes in Theoretical Computer Science, 229(2): CLAVE: A Elsevier Science Foundations of Coordination Languages and Software Architectures 2008 ISSN AUTORES: E. Pimentel TITULO: Preface: Proceedings of the Seventh Spanish Conference on Programming and Computer Languages (PROLE 2007) 15

16 REF. REVISTA: Electronic Notes in Theoretical Computer Science, 206:1-2 Elsevier Science Programming and Computer Languages. ISSN CLAVE: E AUTORES: M. Alpuente, M.M. Gallardo, E. Pimentel y A. Villanueva TITULO: An Abstract Analysis Framework for Synchronous Concurrent Languages based on source to source Transformation REF. REVISTA: Electronic Notes in Theoretical Computer Science, 206:3-21 Elsevier Science Programming and Computer Languages. ISSN CLAVE: A AUTORES: Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel y Pascal Poizat TITULO: A Model-Based Approach to the Verification and Adaptation of WF/.NET Components REF. REVISTA: Electronic Notes in Theoretical Computer Science, 215: CLAVE: A Elsevier Science Formal Aspects of Component Software (FACS'07) ISSN AUTORES: A. Brogi, R. Popescu, F. Gutiérrez, P. López y E. Pimentel TITULO: A Service-Oriented Model for Embedded Peer-to-Peer Systems REF. REVISTA: Electronic Notes in Theoretical Computer Science,194(4):5-22 CLAVE: A Elsevier Science Foundations of Coordination Languages and Software Architectures ISSN AUTORES: A. Brogi, J. Cámara, C. Canal, J. Cubo y E. Pimentel TITULO: Dynamic Contextual Adaptation REF. REVISTA: Electronic Notes in Theoretical Computer Science, 175(2):81-95 CLAVE: A Elsevier Science Foundations of Coordination Languages and Software Architectures ISSN AUTORES: S. Amaro, E. Pimentel y A.M. Roldán TITULO: Reo based Interaction Model REF. REVISTA: Electronic Notes in Theoretical Computer Science, 160:3-14 Elsevier Science CLAVE: A 16

17 Formal Aspects of Component Software. ISSN AUTORES: S. Amaro, E. Pimentel y A.M. Roldán TITULO: A Preliminary Comparative Study on the Expressive Power of Reo and Linda REF. REVISTA: Electronic Notes in Theoretical Computer Science, 180(2):3-19 A Elsevier Science Por aparecer. Foundations of Coordination Languages and Software Architectures. ISSN CLAVE: AUTORES: M. Alpuente, M.M. Gallardo, E. Pimentel y A. Villanueva TITULO: Abstract Model Checking of tccp programs REF. REVISTA: Electronic Notes in Theoretical Computer Science, 112:19-36 CLAVE: A Elsevier Science Quantitative Aspects of Programming Languages. ISSN AUTORES: A. Brogi, C. Canal, E. Pimentel y A. Vallecillo TITULO: Formalizing Web Service Choreographies REF. REVISTA: Electronic Notes in Theoretical Computer Science 105:73-94 CLAVE: A Elsevier Science Web Services and Formal Methods. ISSN AUTORES: A. Brogi, J-M. Jacquet y E. Pimentel TITULO: Foundations of Coordination Languages and Software Architecture REF. REVISTA: Electronic Notes in Theoretical Computer Science 97(4):Preface Elsevier Science Foundations of Coordination Languages and Software Architecture. ISSN CLAVE: E AUTORES: A. Brogi, C. Canal y E. Pimentel TITULO: On the specification of software adaptation REF. REVISTA: Electronic Notes in Theoretical Computer Science 97(4):47-65 CLAVE: A Elsevier Science Foundations of Coordination Languages and Software Architecture. ISSN

18 AUTORES: A. Brogi, C. Canal y E. Pimentel TITULO: Soft Component Adaptation REF. REVISTA: Electronic Notes in Theoretical Computer Science 85(3):1-16. CLAVE: A Elsevier Science Security Issues in Coordination Models, Languages, and Systems. ISSN AUTORES: A. M. Roldán, E. Pimentel y A. Brogi TITULO: Safe Composition of Linda-based Components REF. REVISTA: Electronic Notes in Theoretical Computer Science 82 (6):1-15 CLAVE: A Elsevier Science Test and Analysis of Component based Systems. ISSN AUTORES: A. Brogi y E. Pimentel TITULO: Formal Methods and Component Interaction REF. REVISTA: Electronic Notes in Theoretical Computer Science 66(4):1 ISBN: Elsevier Science Formal Methods and Component Interaction CLAVE: E AUTORES: A. Brogi, E. Pimentel y A. M. Roldán TITULO: Compatibility of Linda-based Component Interfaces REF. REVISTA: Electronic Notes in Theoretical Computer Science 66(4):1-10 CLAVE: A ISBN: Elsevier Science Formal Methods and Component Interaction AUTORES: P. López, E. Pimentel, J.S. Hodas, J. Polakov y L. Stoilova TITULO: Isolating Resource Consumption in Linear-Logic Proof Search REF. REVISTA: Electronic Notes in Theoretical Computer Science 70(2):1-10. CLAVE: A ISBN: Elsevier Science Logical Frameworks and Metalenguages AUTORES: M.M. Gallardo, J. Martínez, P. Merino y E. Pimentel TITULO: A Tool for Abstraction in Model Checking REF. REVISTA: Electronic Notes in Theoretical Computer Science 66(2):1-16. CLAVE: A ISBN Elsevier Science Formal Methods in Industrial Critical Systems 18

19 AUTORES: M.M. Gallardo, P. Merino y E. Pimentel TITULO: Comparing Under and Over-Approximations of LTL Properties for Model Checking REF. REVISTA: Electronic Notes in Theoretical Computer Science 76:1-14. CLAVE: A ISBN Elsevier Science th International Workshop on Functional and Logic Programming 19

20 CAPÍTULOS DE LIBROS 2 0 AUTORES: J. Cubo y E. Pimentel TITULO: Reusing Services through Context-Aware Discovery and Adaptation in Pervasive Systems REF. LIBRO: Ortiz, G., Cubo, J. (eds.) Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solutions, chapter 4, pp , IGI Global AUTORES: M.M. Gallardo, J. Martínez, P. Merino y E. Pimentel TITULO: Abstracting UML behavioral diagrams for verification REF. LIBRO: Software Evolution with UML and XML CLAVE: CL Idea Group Publisher

21 EDICIÓN DE ACTAS DE CONGRESOS AUTORES: Kung-Kiu Lau, Winfried Lamesdorf y E. Pimentel TITULO: European Conference on Service-Oriented and Cloud Computing REF. LIBRO: Proceedings de ESOCC Septiembre 2013 CLAVE: E Lecture Notes in Computer Science, vol AUTORES: F. De Paoli, E. Pimentel y G. Zavattaro TITULO: European Conference on Service-Oriented and Cloud Computing REF. LIBRO: Proceedings de ESOCC Septiembre 2012 CLAVE: E Lecture Notes in Computer Science, vol AUTORES: E. Pimentel y V. Valero TITULO: V Workshop on Formal Languages and Analysis of Contract-Oriented Software REF. LIBRO: Proceedings de FLACOS Septiembre 2011 CLAVE: E AUTORES: E. Pimentel TITULO: VII Jornadas de Programación y Lenguajes REF. LIBRO: Actas de PROLE Septiembre 2007 CLAVE: E AUTORES: J. Hernández, E. Pimentel TITULO: IX Jornadas de Ingeniería del Software y Bases de Datos REF. LIBRO: Actas de JISBD Noviembre CLAVE: E ISBN AUTORES: S. Lucas, M.M. Gallardo, E. Pimentel, TITULO: IV Jornadas de Programación y Lenguajes REF. LIBRO: Actas de PROLE Noviembre 2004 CLAVE: E AUTORES: A. Brogi, J.M. Jacquet y E. Pimentel TITULO: Foundations of Coordination Languages and Software Architectures 2004 REF. LIBRO: Actas de FOCLASA.CONCUR workshop. Septiembre CLAVE: E 21

22 AUTORES: E. Pimentel, N. R. Brisaboa, J. Gómez TITULO: VIII Jornadas de Ingeniería del Software y Bases de Datos REF. LIBRO: Actas de JISBD Noviembre CLAVE: E ISBN AUTORES: A. Brogi, J.M. Jacquet y E. Pimentel TITULO: Foundations of Coordination Languages and Software Architectures 2003 REF. LIBRO: Actas de FOCLASA.CONCUR workshop. Septiembre CLAVE: E AUTORES: A. Brogi y E. Pimentel TITULO: Formal Methods and Component Interaction REF. LIBRO: Actas de FMCI. ICALP workshop. Julio CLAVE: E AUTORES: E. Pimentel y C. A. Heuser TITULO: I Jornadas Iberoamericanas de Ingeniería de Requisitos y Ambientes de Software REF. LIBRO: Actas de IDEAS 98, CLAVE: E 22

23 PUBLICACIONES DE DIVULGACIÓN AUTORES: M.M. Gallardo, P. Merino y E. Pimentel TITULO: Transforming Specifications to verify Embedded Systems REF. LIBRO: ERCIM News, nro CLAVE: A AUTORES: E. Pimentel y F. Gutiérrez TITULO: Smalltalk. Chapter 19 REF. LIBRO: Handbook of Object Technology, , CLAVE: CL CRC Press, ISBN REVISIONES TÉCNICAS DE TRADUCCIONES DE LIBROS AUTORES: E. Pimentel TITULO: El Lenguaje de Programación JAVA (traducción de K. Arnold, J. Gosling, D. Holmes. The Java Programming Language ) PUBLICACION: ISBN: Addison Wesley CLAVE: R AUTORES: L. Joyanes, E. Pimentel TITULO: El Proceso Unificado de Desarrollo de Software (traducción de G. Booch, I. Jacobson, J. Rumbaugh. The Unified Software Development Process ) PUBLICACION: ISBN: Addison Wesley CLAVE: R 23

24 PUBLICACIONES EN CONGRESOS INTERNACIONALES (ACTAS CON REGISTRO DE LIBRO ISBN O REVISTA ISSN ) AUTORES: L. González, J. Cubo, A. Brogi, E. Pimentel y R. Ruggia TITULO: Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things PUBLICACIÓN: 3 rd International Workshop on Adaptive Service for the Future Internet WAS4FI Springer CCIS. ISSN: AUTORES: V. Ciancia, F. Martinelli, I. Matteucci, M. Petrocchi, J.A. Martín and E. Pimentel TITULO: Automated synthesis of an optimal secure BPMN orchestrator PUBLICACIÓN: 7 th International Workshop on Secure Software Engineering (SeSec). Regensburg (Alemania). Septiembre, IEEE Conference Publishing Service AUTORES: J. Cubo, N. Gámez, L. Fuentes y E. Pimentel TITULO: Composition and Self-Adaptation of Service-Based Systems with Feature Models PUBLICACION: Proc. of the 13 th International Conference on Software Reuse (ICSR 13) Pisa (Italia). Lecture Notes in Computer Science, Springer-Verlag, AUTORES: J. Troya, J. Cubo, J.A. Martín, E. Pimentel y A. Vallecillo TITULO: Automated Throughput Optimization of Cloud Services via Model-Driven Adaptation PUBLICACION: Proc. of International Model-Driven Engineering and Software Development MODELSWARD Special session on Model-Driven Adaptation SciTePress, pp Barcelona (España) AUTORES: J. Cubo, A. Brogi y E. Pimentel TITULO: Behaviour-Aware Compositions of Things PUBLICACION: The IEEE International Conference on Internet of Things ithings IEEE CS Press Besançon (Francia) AUTORES: J. Cubo y E. Pimentel TITULO: On the Service Discovery using Context-Awareness, Semantic Matching and Behavioural Compatibility PUBLICACION: 15th IEEE Int. Conference on Computational Science and Engineering CSE 2012, IEEE CS Press Paphos (Chipre) 24

25 AUTORES: V. Ciancia, J.A. Martín, F. Martinelli, I. Matteucci, M. Petrocchi and E. Pimentel TITULO: A Tool for the Synthesis of Cryptographic Orchestrators PUBLICACIÓN: Proceedings of the Model-Driven Security Workshop (MDSec). Innsbruck (Austria). October, ACM Digital Library. ISBN: AUTORES: J. Cubo, A. Brogi y E. Pimentel TITULO: Towards Behaviour-Aware Compositions of Things in the Future Internet PUBLICACION: International Workshop on Adaptive Services for the Future Internet WAS4FI-Mashups ACM Digital Library - ICPS, pp , Bertinoro (Italia) AUTORES: N. Gámez, J. Cubo, L. Fuentes y E. Pimentel TITULO: Modeling Context-Awaremess in FamiWare PUBLICACION: 5 th Int. Symposium on Ubiquitous Computing & Ambient Intelligence UCAmI 2011, Riviera (Méjico) AUTORES: J.A. Martín, A. Brogi y E. Pimentel TITULO: Learning from Failures: a Lightweight Approach to Run-Time Behavioural Adaptation PUBLICACION: 8 th International Symposium on Formal Aspects of Component Software FACS 2011, Oslo (Noruega) Lecture Notes in Computer Science AUTORES: M. Ouederni, G. Salaün y E. Pimentel TITULO: A Solution for Service Evolution PUBLICACION: 8 th International Conference on Service Computing SCC 2011 IEEE Computer Society Press. Washington (EEUU) AUTORES: J. Cubo y E. Pimentel TITULO: DAMASCo: A Framework for the Automatic Composition of Component-Based and Service-Oriented Architectures PUBLICACION: 5th European Conference on Software Architecture ECSA Essen, Germany Lecture Notes in Computer Science

Decidibilidad de Problemas sobre redes de Petri Temporizadas

Decidibilidad de Problemas sobre redes de Petri Temporizadas CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS 1. DATOS PERSONALES Apellidos y Nombre: Valero Ruiz, Valentín Cuerpo docente al que pertenece:

Más detalles

JOSÉ OCTAVIO GUTIÉRREZ GARCÍA

JOSÉ OCTAVIO GUTIÉRREZ GARCÍA JOSÉ OCTAVIO GUTIÉRREZ GARCÍA Profesor de Tiempo Completo del Departamento Académico de Computación DOMICILIO Río Hondo No. 1 Progreso Tizapán México 01080, D.F. Tel: +52 (55) 5628-4000 Ext. 3645 Fax:

Más detalles

Especificación de sistemas concurrentes usando conceptos de teoría económica: Sintaxis, semántica, aplicaciones y extensiones del lenguaje formal PAMR

Especificación de sistemas concurrentes usando conceptos de teoría económica: Sintaxis, semántica, aplicaciones y extensiones del lenguaje formal PAMR CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS 1. DATOS PERSONALES Apellidos y Nombre: Rodríguez Laguna, Ismael Cuerpo docente al que pertenece:

Más detalles

Technology. Journal of object Oriented Programming. Journal of Information Systems Management. Revista Colombiana de Computación

Technology. Journal of object Oriented Programming. Journal of Information Systems Management. Revista Colombiana de Computación MINI CURRICULUM VITAE Nombres: Maria Angélica Apellidos: Pérez de Ovalles C Identidad: V-3821365 Fecha de Ingreso a la USB: 15-04-92 e-mail: movalles@usb.ve Ext-USB: 4017 Lugar de Trabajo: MYS 309 A Dpto:

Más detalles

PROGRAMA DE LA ASIGNATURA CURSO BASICO: ARQUITECTURA DEL SOFTWARE

PROGRAMA DE LA ASIGNATURA CURSO BASICO: ARQUITECTURA DEL SOFTWARE UNIVERSIDAD CENTRAL DE VENEZUELA FACULTAD DE CIENCIAS POSTGRADO EN CIENCIAS DE LA COMPUTACIÓN PROGRAMA DE LA ASIGNATURA CURSO BASICO: ARQUITECTURA DEL SOFTWARE INFORMACIÓN GENERAL Profesor: Francisca Losavio

Más detalles

GENERACIÓN DE CASOS DE PRUEBA PARA COMPOSICIONES DE SERVICIOS WEB ESPECIFICADAS EN BPEL

GENERACIÓN DE CASOS DE PRUEBA PARA COMPOSICIONES DE SERVICIOS WEB ESPECIFICADAS EN BPEL Taller sobre Pruebas en Ingeniería del Software PRIS 2006 GENERACIÓN DE CASOS DE PRUEBA PARA COMPOSICIONES DE SERVICIOS WEB ESPECIFICADAS EN BPEL José García-Fanjul, Javier Tuya y Claudio de la Riva Departamento

Más detalles

http://portal.acm.org

http://portal.acm.org Association for Computing Machinery (ACM) Mark Mandelbaum, Director of Publications ACM Digital Library and its contributions to the technological development SYSTEMS link International Mauricio Caceres

Más detalles

Comisión Interministerial de Ciencia y Tecnología. Curriculum vitae. Nombre: David Carrera Pérez

Comisión Interministerial de Ciencia y Tecnología. Curriculum vitae. Nombre: David Carrera Pérez Comisión Interministerial de Ciencia y Tecnología Curriculum vitae Nombre: David Carrera Pérez Fecha: 01/11/2006 Apellidos: Carrera Pérez Nombre: David DNI: 38109007P Fecha de nacimiento : 15/05/1979 Sexo:

Más detalles

Antonio Llanes Castro v 1.3.0

Antonio Llanes Castro v 1.3.0 Antonio Llanes Castro Generado desde: Universidad Católica San Antonio de Murcia Fecha del documento: 15/05/2015 v 1.3.0 e9fec3d982fc1fbfc1bfd7d44f33ff2f Este fichero electrónico (PDF) contiene incrustada

Más detalles

MSC. ING. LAURA GONZÁLEZ

MSC. ING. LAURA GONZÁLEZ MSC. ING. LAURA GONZÁLEZ 1. DATOS DEL CARGO Profesora Adjunta (Grado 3, 30hs, DT) del Instituto de Computación (INCO), Facultad de Ingeniería, Universidad de la República. 2. TÍTULOS OBTENIDOS Título de

Más detalles

CONGRESOS 2012 INTERNACIONALES

CONGRESOS 2012 INTERNACIONALES CONGRESOS 2012 INTERNACIONALES Autores: V. A. Bollati, P. Atzeni, E. Marcos, J.M. Vara Título: Model Management Systems vs. Model Driven Engineering: A Case Study Congreso: Symposium on Applied Computing

Más detalles

PROGRAMA DE DOCTORADO

PROGRAMA DE DOCTORADO PROGRAMA DE DOCTORADO Desarrollo de familias de productos de software desde un enfoque generativo DPTO. DE INGENIERÍA DE SOFTWARE Y SISTEMAS INFORMÁTICOS Tema 1 Introducción Autor: Rubén Heradio Gil Índice

Más detalles

CURRÍCULUM VITAE IMPRESO NORMALIZADO Número de hojas que contiene: 12

CURRÍCULUM VITAE IMPRESO NORMALIZADO Número de hojas que contiene: 12 ANEXO 4 CURRÍCULUM VITAE IMPRESO NORMALIZADO Número de hojas que contiene: 12 Nombre: MARTA ORMAZÁBAL GOENAGA Fecha: 7 de enero de 2014 Firma: El arriba firmante declara que son ciertos los datos que figuran

Más detalles

Curriculum vitae. Comisión Interministerial de Ciencia y Tecnología. Nombre: Jorge García Gutiérrez. Fecha: 12/01/2010. Plan Nacional de I+D+I

Curriculum vitae. Comisión Interministerial de Ciencia y Tecnología. Nombre: Jorge García Gutiérrez. Fecha: 12/01/2010. Plan Nacional de I+D+I García Gutiérrez, pág. 1 Comisión Interministerial de Ciencia y Tecnología Curriculum vitae Nombre: Jorge García Gutiérrez Fecha: 12/01/2010 Plan Nacional de I+D+I García Gutiérrez, pág. 2 INDICE Datos

Más detalles

Encuesta Perfil de Egreso del Ingeniero en Computación y/o Informática en Chile (Para programas de 10 semestres o más)

Encuesta Perfil de Egreso del Ingeniero en Computación y/o Informática en Chile (Para programas de 10 semestres o más) Encuesta Perfil de Egreso del Ingeniero en Computación y/o Informática en Chile (Para programas de 10 semestres o más) Nombre del Encuestado e-mail Nombre de la Carrera Universidad Unidad Académica Sede

Más detalles

Temas de investigación y desarrollo

Temas de investigación y desarrollo Componentes de Dominio para Sistemas de Información Ambiental Urciuolo Adriana, Iturraspe Rodolfo, Moyano Ezequiel, Rosanigo Beatriz, Parson Ariel, Villarreal Martín urciuolo@tdfuego.com, iturraspe@tdfuego.com,

Más detalles

Proyectos de Investigación Subvencionados

Proyectos de Investigación Subvencionados Proyectos de Investigación Subvencionados Título del Proyecto: Sistema Automático de Adquisición de datos a partir de EPC (DEPCAS). Entidad Financiadora: CICYT (Ref. DPI 2007-61287). Entidades Participantes:

Más detalles

Comisión Interministerial de Ciencia y Tecnología Curriculum vitae

Comisión Interministerial de Ciencia y Tecnología Curriculum vitae Comisión Interministerial de Ciencia y Tecnología Curriculum vitae Nombre: Sergio Ramírez Ramírez Fecha: 09/01/2008 Apellidos: Ramírez Ramírez Nombre: Sergio Situación profesional actual Organismo: Universidad

Más detalles

Tape Mbo e: una Metodología Orientada a Servicios

Tape Mbo e: una Metodología Orientada a Servicios Tape Mbo e: una Metodología Orientada a Servicios Motivación Objetivos Tecnología Estado del Arte Evaluación del Estado del Arte Tape Mb e Ciclo de Vida Roles Disciplinas Ciclo de Vida y Disciplinas Evaluación

Más detalles

CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS

CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS 1. DATOS PERSONALES Apellidos y Nombre: Carrión Espinosa, Carmen Cuerpo docente al que pertenece:

Más detalles

DISEÑO DE UN CURSO INTERACTIVO Y ADAPTATIVO DE PROCESADORES DE LENGUAJES

DISEÑO DE UN CURSO INTERACTIVO Y ADAPTATIVO DE PROCESADORES DE LENGUAJES Alfonseca, M., Carro, R.M., Pulido, E. and Rodríguez, P. (2000): Diseño de un curso interactivo y adaptativo de procesadores de lenguajes. Proceedings of JENUI 2000: VI Jornadas sobre la Enseñanza Universitaria

Más detalles

1996-2001 Licenciatura en Ciencias de la Computación, Benémerita Universidad Autónoma de Puebla, Puebla, Pue., 8.57.

1996-2001 Licenciatura en Ciencias de la Computación, Benémerita Universidad Autónoma de Puebla, Puebla, Pue., 8.57. DATOS PERSONALES Nombre completo: Venustiano Soancatl Aguilar Correo electrónico: venus@bianni.unistmo.edu.mx FORMACIÓN ACADÉMICA 2001 2003 Maestria en Ciencias Computacionales, Instituto Nacional de Astrofísica

Más detalles

David Jordi Vallet Weadon.

David Jordi Vallet Weadon. <david.vallet@uam.es> David Jordi Vallet Weadon 1 Introducción Durante las últimas décadas, la personalización ha sido aplicada en diferentes campos de la informática, tanto en la rama científica como

Más detalles

Fundamentos y Aplicaciones Prácticas del Descubrimiento de Conocimiento en Bases de Datos Guía docente

Fundamentos y Aplicaciones Prácticas del Descubrimiento de Conocimiento en Bases de Datos Guía docente Fundamentos y Aplicaciones Prácticas del Descubrimiento de Conocimiento en Bases de Datos Guía docente Impartido por: Juan Alfonso Lara Torralbo 1. Datos del docente NOMBRE Juan Alfonso Lara Torralbo FORMACIÓN

Más detalles

Profesorado: Dra. María José Escalona Cuaresma mjescalona@us.es Dr. José Mariano González Romano mariano@lsi.us.es

Profesorado: Dra. María José Escalona Cuaresma mjescalona@us.es Dr. José Mariano González Romano mariano@lsi.us.es Metodología y Técnicas en Proyectos software para la Web II-6 para la Ingeniería Web Profesorado: Dra. María José Escalona Cuaresma mjescalona@us.es Dr. José Mariano González Romano mariano@lsi.us.es Programa

Más detalles

DATOS PERSONALES FORMACIÓN ACADÉMICA

DATOS PERSONALES FORMACIÓN ACADÉMICA DATOS PERSONALES APELLIDOS Y NOMBRE: Crespo Galán, Jorge DIRECCIÓN: Departamento de Economía Aplicada U.D.I. de Estadística Facultad de Ciencias Económicas y Empresariales Universidad Autónoma de Madrid

Más detalles

Curriculum vitae Rafael Zancan Frantz Noviembre de 2008

Curriculum vitae Rafael Zancan Frantz Noviembre de 2008 Curriculum vitae Rafael Zancan Frantz Noviembre de 2008 1 Datos personales Apellidos: Zancan Frantz Nombre: Rafael Sexo: Varón Pasaporte: CT 819736 NIE: X-08402302-B Fecha de nacimiento: 29/07/1979 Lugar

Más detalles

Ingeniero de Sistemas, Universidad Católica Santa María, Arequipa, Perú (1998)

Ingeniero de Sistemas, Universidad Católica Santa María, Arequipa, Perú (1998) Universidad Católica San Pablo Facultad de Ingeniería y Computación Programa Profesional de Ciencia de la Computación SILABO CS392. Tópicos en Ingeniería de Software (Electivo) 2013-2 1. DATOS GENERALES

Más detalles

4 años de. Susana Muñoz Hernández susana@fi.upm.es Coordinadora del EMCL. http://www.fi.upm.es/master/cl

4 años de. Susana Muñoz Hernández susana@fi.upm.es Coordinadora del EMCL. http://www.fi.upm.es/master/cl 4 años de máster Valoración crítica Susana Muñoz Hernández susana@fi.upm.es Coordinadora del EMCL http://www.fi.upm.es/master/cl Univ. Politécnica de Madrid UPM: univ. técnica española más grande y antigua

Más detalles

11645 - APDA - Programación Avanzada y Aplicaciones Distribuidas

11645 - APDA - Programación Avanzada y Aplicaciones Distribuidas Unidad responsable: 230 - ETSETB - Escuela Técnica Superior de Ingeniería de Telecomunicación de Barcelona Unidad que imparte: 701 - AC - Departamento de Arquitectura de Computadores Curso: Créditos ECTS:

Más detalles

CURRICULUM. : Javier Enrique Vidal Valenzuela. Fecha de nacimiento : 3 de Octubre de 1965

CURRICULUM. : Javier Enrique Vidal Valenzuela. Fecha de nacimiento : 3 de Octubre de 1965 CURRICULUM I. ANTECEDENTES PERSONALES Nombre Nacionalidad Carnet de identidad Estado Civil : Javier Enrique Vidal Valenzuela : Chilena : 9.413.058-1, Concepción : Casado, dos hijos Fecha de nacimiento

Más detalles

SERVICIOS: EXPLORACIONES EN SOA y WEB.

SERVICIOS: EXPLORACIONES EN SOA y WEB. SERVICIOS: EXPLORACIONES EN SOA y WEB. López, G. 1 ; Jeder, I 1.; Echeverría, A 1.; Grossi, M.D. 2 ; Servetto, A 2.; Fierro, P. (PhD.) 3 1. Laboratorio de Informática de Gestión - Facultad de Ingeniería.

Más detalles

LUIS PANIZO ALONSO Fecha del documento: 21/03/2013 a0eba44a678c78781bf04d1bf1b65285

LUIS PANIZO ALONSO Fecha del documento: 21/03/2013 a0eba44a678c78781bf04d1bf1b65285 LUIS PANIZO ALONSO Fecha del documento: 21/03/2013 a0eba44a678c78781bf04d1bf1b65285 Este fichero electrónico (PDF) contiene incrustada la tecnología CVN (CVN-XML). La tecnología CVN de este fichero permite

Más detalles

Orquestación de Servicios utilizando el paradigma de Programación Orientada a Aspectos

Orquestación de Servicios utilizando el paradigma de Programación Orientada a Aspectos Orquestación de Servicios utilizando el paradigma de Programación Orientada a Aspectos Sección de Computación Departamento de Ingeniería Eléctrica CINVESTAV-IPN Tesista: Cova Suazo Nancy Noemi Asesor:

Más detalles

Modelado de la variabilidad en arquitecturas multicapa

Modelado de la variabilidad en arquitecturas multicapa Modelado de la variabilidad en arquitecturas multicapa José García-Alonso, Joaquín Guillén, Javier Berrocal, and Juan Manuel Murillo Escuela Politécnica, Universidad de Extremadura, Avd. de la Universidad

Más detalles

Proyecto de innovación de la gestión documental aplicada a expedientes de contratación de servicios y obras de infraestructuras de transporte

Proyecto de innovación de la gestión documental aplicada a expedientes de contratación de servicios y obras de infraestructuras de transporte Proyecto de innovación de la gestión documental aplicada a expedientes de contratación de servicios y obras de infraestructuras de transporte Universidad de Sevilla Tecnocom Estudio comparativo de herramientas

Más detalles

ELABORACION DE MODELOS PARA LA IDENTIFICACION DE FACTORES CRITICOS DE EXITO, ANALISIS Y MITIGACION DE RIESGOS DE PROYECTOS EN DESARROLLO DE SOFTWARE

ELABORACION DE MODELOS PARA LA IDENTIFICACION DE FACTORES CRITICOS DE EXITO, ANALISIS Y MITIGACION DE RIESGOS DE PROYECTOS EN DESARROLLO DE SOFTWARE CONICYT: Repositorio Institucional: Ficha de Iniciativa de CIT (Ciencia, Tecnología e Innovación) 1 FONDECYT-REGULAR - 2003-1030785 ELABORACION DE MODELOS PARA LA IDENTIFICACION DE FACTORES CRITICOS DE

Más detalles

Curriculum Vitae. Miembro de proyecto Ingeniería de Software: un enfoque e Business/egovernment, UNSL, desde el 2005 hasta junio del 2008.

Curriculum Vitae. Miembro de proyecto Ingeniería de Software: un enfoque e Business/egovernment, UNSL, desde el 2005 hasta junio del 2008. Curriculum Vitae 2010 Datos Personales Nombre: Ana Gabriela Garis Nacionalidad: Argentina Fecha de nacimiento: 26 de enero de 1977 E mail: agaris@unsl.edu.ar Títulos Universitarios Magister en Ingeniería

Más detalles

IV JORNADAS DE INNOVACIÓN EDUCATIVA Y ENSEÑANZA VIRTUAL EN LA UNIVERSIDAD DE MÁLAGA

IV JORNADAS DE INNOVACIÓN EDUCATIVA Y ENSEÑANZA VIRTUAL EN LA UNIVERSIDAD DE MÁLAGA Vicerrectorado de Profesorado, Formación y Coordinación Dirección de Secretariado de Formación de PDI Vicerrectorado de Innovación y Desarrollo Tecnológico Dirección de Secretariado de Innovación y Desarrollo

Más detalles

Curso 5007437. Capítulo 4: Arquitectura Orientada a Servicios. Conceptos y estándares de arquitecturas orientadas a servicios Web Curso 2006/2007

Curso 5007437. Capítulo 4: Arquitectura Orientada a Servicios. Conceptos y estándares de arquitecturas orientadas a servicios Web Curso 2006/2007 Curso 5007437 Conceptos y estándares de arquitecturas orientadas a servicios Web Curso 2006/2007 Capítulo 4: Arquitectura Orientada a Servicios Pedro Álvarez alvaper@unizar.es José Ángel Bañares banares@unizar.es

Más detalles

Una propuesta de implementación para especificaciones de patrones de comportamiento

Una propuesta de implementación para especificaciones de patrones de comportamiento Una propuesta de implementación para especificaciones de patrones de comportamiento Alberto A. Cortez 123, Claudia A. Naveda 12 1 Consejo de Investigaciones -CIUDA, Universidad del Aconcagua, Mendoza,

Más detalles

Área del Conocimiento: Ingeniería Mecánica Especialización (Códigos UNESCO): 331317 - Aplicaciones mecanizadas.

Área del Conocimiento: Ingeniería Mecánica Especialización (Códigos UNESCO): 331317 - Aplicaciones mecanizadas. Actualizado :06/06/14 Datos Personales: Apellidos: DIAZ ALVAREZ Nombre: JOSE DNI: 46927822-W Fecha de nacimiento: 22/09/1982 Sexo: Masculino Dirección Particular:. Ciudad: Madrid Distrito Postal: Teléfono:

Más detalles

Investigación en DDS

Investigación en DDS Grupo de Ingeniería Telemática Universidad de Granada Investigación en DDS 1 Esquema Equipo DDS Proyectos en UGR con DDS Publicaciones Demostrador Propuesta de investigación Información de Contacto 2 Equipo

Más detalles

Raúl Izquierdo Castanedo DNI 13.794.284-B e-mail: ric@lsi.uniovi.es

Raúl Izquierdo Castanedo DNI 13.794.284-B e-mail: ric@lsi.uniovi.es Currículum Vitae Información personal Raúl Izquierdo Castanedo DNI 13.794.284-B e-mail: ric@lsi.uniovi.es Universidad de Oviedo. Departamento de Informática. Area de Lenguajes y Sistemas Informáticos.

Más detalles

Departamento/Divisi ón R/ I. Espacios Curriculares Correlativos Subsiguientes

Departamento/Divisi ón R/ I. Espacios Curriculares Correlativos Subsiguientes Ciclo Académico: 2009 Año de la Carrera: Horas de Clases Semanales Régimen de Cursado 3ro. Teoría Práctica Otros i (1) Anual 1er.Cuatr. 2do.Cuatr. Otros (2) 4 4 X (1) Observaciones: (2) Observaciones:

Más detalles

Abásolo, María José. mjabasolo@uib.es, mjabasolo@yahoo.com.ar

Abásolo, María José. mjabasolo@uib.es, mjabasolo@yahoo.com.ar Abásolo, María José. mjabasolo@uib.es, mjabasolo@yahoo.com.ar Estudios de grado Ingeniero en Informática. Facultad de Ciencias Exactas, Universidad Nacional del Centro de la Provincia de Buenos Aires (UNICEN),

Más detalles

Estado del Arte en la Investigación de Métodos y Herramientas de Pruebas para Procesos de Negocio BPEL

Estado del Arte en la Investigación de Métodos y Herramientas de Pruebas para Procesos de Negocio BPEL Estado del Arte en la Investigación de Métodos y Herramientas de Pruebas para Procesos de Negocio BPEL Marcos Palacios 1, José García-Fanjul 2, Javier Tuya 2, Claudio de la Riva 2 Departamento de Informática,

Más detalles

Currículum vitae Impreso normalizado

Currículum vitae Impreso normalizado MINISTERIO DE EDUCACIÓN, CULTURA Y DEPORTE SECRETARÍA DE ESTADO DE EDUCACIÓN Y UNIVERSIDADES DIRECCIÓN GENERAL DE UNIVERSIDADES COMISIÓN NACIONAL EVALUADORA DE LA ACTIVIDAD INVESTIGADORA Currículum vitae

Más detalles

Modelado de procesos de enseñanza-aprendizaje reutilizables con XML, UML e IMS-LD

Modelado de procesos de enseñanza-aprendizaje reutilizables con XML, UML e IMS-LD Modelado de procesos de enseñanza-aprendizaje reutilizables con XML, UML e IMS-LD José R. Hilera 1, David Palomar 2 1 Universidad de Alcalá, Departamento de Ciencias de la Computación, 28871 Alcalá de

Más detalles

Plan Nacional de I+D

Plan Nacional de I+D Ministerio de Educación y Ciencia Secretaría de Estado de Universidades, Investigación y Desarrollo Dirección General de Enseñanza Superior Plan Nacional de I+D Currículum vitae Impreso normalizado nº

Más detalles

MAESTRÍA EN INFORMÁTICA Y TECNOLOGÍAS COMPUTACIONALES. Productividad Núcleo Académico Básico

MAESTRÍA EN INFORMÁTICA Y TECNOLOGÍAS COMPUTACIONALES. Productividad Núcleo Académico Básico MAESTRÍA EN INFORMÁTICA Y TECNOLOGÍAS COMPUTACIONALES Productividad Núcleo Académico Básico Trabajo Internacional Año de publicación Tipo de trabajo Autor Título del trabajo Nacionalidad 2014 INTERNACIONAL

Más detalles

Diseño de Aplicaciones para SAP IS-H*med Usando Patrones de Diseño de Software. Caso de Estudio: Just Click! Sergio Andrés Pico Rojas, Ingeniero

Diseño de Aplicaciones para SAP IS-H*med Usando Patrones de Diseño de Software. Caso de Estudio: Just Click! Sergio Andrés Pico Rojas, Ingeniero Diseño de Aplicaciones para SAP IS-H*med Usando Patrones de Diseño de Software. Caso de Estudio: Just Click! Sergio Andrés Pico Rojas, Ingeniero Informático. Diana Teresa Gómez Forero, Ingeniera de Sistemas,

Más detalles

Ciencia de Servicios como herramienta de innovación y creación de valor en tiempos de crisis

Ciencia de Servicios como herramienta de innovación y creación de valor en tiempos de crisis 3 rd International Conference on Industrial Engineering and Industrial Management XIII Congreso de Ingeniería de Organización Barcelona-Terrassa, September 2nd-4th 2009 Ciencia de Servicios como herramienta

Más detalles

Transformación de Procesos BPMN a su Implementación en BPEL utilizando QVT

Transformación de Procesos BPMN a su Implementación en BPEL utilizando QVT Transformación de Procesos BPMN a su Implementación en BPEL utilizando QVT Fabio A. Zorzan 1, Daniel Riesco 2 CONTEXTO La línea de investigación presentada en este trabajo se desarrolla en el marco del

Más detalles

1. CIDISI (UTN- FRSF) 2. CIDISI (UTN- FRCON) TE: 0342-4602390 Int. 258/107 TE: 0345-4214590

1. CIDISI (UTN- FRSF) 2. CIDISI (UTN- FRCON) TE: 0342-4602390 Int. 258/107 TE: 0345-4214590 Herramienta BPEL para el desarrollo de Aplicaciones de Comercio Electrónico con Servicios Web Baroni, Federico 1, Chezzi, Carlos María 2, y Tymoschuk, Ana Rosa 1 1. CIDISI (UTN- FRSF) 2. CIDISI (UTN- FRCON)

Más detalles

MÓDULO MATERIA ASIGNATURA CURSO SEMESTRE CRÉDITOS CARÁCTER

MÓDULO MATERIA ASIGNATURA CURSO SEMESTRE CRÉDITOS CARÁCTER GUIA DOCENTE DE LA ASIGNATURA Sistemas Colaborativos y Gestión de Flujos de Trabajo MÓDULO MATERIA ASIGNATURA CURSO SEMESTRE CRÉDITOS CARÁCTER Colaboración y Gestión de Proyectos y Grupos de trabajo PROFESOR(ES)

Más detalles

Presenta: Dr. Alejandro Canales Cruz

Presenta: Dr. Alejandro Canales Cruz Gestión personalizada del conocimiento para el aprendizaje en un ambiente virtual generador de escenarios educativos dinámicos, adaptativos y colaborativos Presenta: Dr. Alejandro Canales Cruz Agenda Pregunta

Más detalles

Formato de Referenciamiento de Páginas Amarillas / Yellow Pages http://www.unipamplona.edu.co/kmgestiondelconocimiento/

Formato de Referenciamiento de Páginas Amarillas / Yellow Pages http://www.unipamplona.edu.co/kmgestiondelconocimiento/ Formato de Referenciamiento de Páginas Amarillas / Yellow Pages http://www.unipamplona.edu.co/kmgestiondelconocimiento/ Nombres y Apellidos Contacto (E-mail) Cargo Información General Isabel Cristina Satizábal

Más detalles

Rosa María Carro Salas

Rosa María Carro Salas Rosa María Carro Salas Situación profesional actual Organismo: Universidad Autónoma de Madrid Facultad, Escuela o Instituto: Escuela Politécnica Superior Depto./Secc./Unidad estr.: Dpto. Ingeniería Informática

Más detalles

CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS

CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS 1. DATOS PERSONALES Apellidos y Nombre: Gómez Requena, María Engracia Cuerpo docente al que pertenece:

Más detalles

Adaptación automática de componentes: una experiencia de desarrollo orientado a aspectos

Adaptación automática de componentes: una experiencia de desarrollo orientado a aspectos Adaptación automática de componentes: una experiencia de desarrollo orientado a aspectos Antonio Brogi 1 Carlos Canal 2 Ernesto Pimentel 2 1 Dipartimento di Informatica, Università di Pisa (Italia) Email:

Más detalles

PROGRAMA INSTRUCCIONAL

PROGRAMA INSTRUCCIONAL Universidad Centroccidental "Lisandro Alvarado" Decanato de Ciencias y Tecnología Departamento de Sistemas PROGRAMA INSTRUCCIONAL PROGRAMA: INGENIERÍA EN INFORMATICA DEPARTAMENTO: SISTEMAS ASIGNATURA:

Más detalles

ESTADO DE LA ESTANDARIZACIÓN EN LA GESTIÓN DE LAS REDES DE PRÓXIMA GENERACIÓN

ESTADO DE LA ESTANDARIZACIÓN EN LA GESTIÓN DE LAS REDES DE PRÓXIMA GENERACIÓN ESTADO DE LA ESTANDARIZACIÓN EN LA GESTIÓN DE LAS REDES DE PRÓXIMA GENERACIÓN Servicios Avanzados de Apoyo a Aplicaciones Telemáticas Máster Universitario de Investigación en TIC Universidad de Valladolid

Más detalles

Creación y evaluación de modelos LSP en un contexto MDA

Creación y evaluación de modelos LSP en un contexto MDA WICC 2012 433 Creación y evaluación de modelos LSP en un contexto MDA Ana Funes 1, Elizabeth Reinoso 2, Marcelo Castro 2, Aristides Dasso 1, 1 Universidad acional de San Luis, Ejército de los Andes 950

Más detalles

Currículum vítae. Nombre: Iago Rodríguez Palmeiro

Currículum vítae. Nombre: Iago Rodríguez Palmeiro Currículum vítae Nombre: Iago Rodríguez Palmeiro 09/07/2014 Apellidos: Rodríguez Palmeiro Nombre: Iago DNI: 33549200C Fecha de nacimiento : 22/12/1985 Sexo: Varón Situación profesional actual Organismo:

Más detalles

CURRICULUM VITAE. Diego Moitre

CURRICULUM VITAE. Diego Moitre CURRICULUM VITAE Diego Moitre A. ANTECEDENTES PERSONALES Nombre : Diego Carlos Alberto Moitre Fecha de Nacimiento : 13 de Noviembre de 1953 Nacionalidad : Argentina Domicilio Profesional: Universidad Nacional

Más detalles

PROGRAMA. 16 de septiembre. Edificio Constitución de 1812 Patio. 19:00 a 20:30 Registro. 21:00 Ruta de tapas

PROGRAMA. 16 de septiembre. Edificio Constitución de 1812 Patio. 19:00 a 20:30 Registro. 21:00 Ruta de tapas PROGRAMA 16 de septiembre 19:00 a 20:30 Registro 21:00 Ruta de tapas 17 de septiembre 08:30 Registro 09:00 a 10:30 Sesiones regulares JCIS1 Composición de servicios Chair: Guadalupe Ortiz 1. Alineación

Más detalles

La investigación en verificación formal - un estado del arte

La investigación en verificación formal - un estado del arte Tipo de artículo: Artículo de revisión Temática: Tecnologías de bases de datos Recibido: 11/03/2013 Aceptado: 6/09/2013 La investigación en verificación formal - un estado del arte Research on formal verification

Más detalles

Modelado de relaciones existentes en un equipo de proyecto de software Modeling relationships in a software project team

Modelado de relaciones existentes en un equipo de proyecto de software Modeling relationships in a software project team Modelado de relaciones existentes en un equipo de proyecto de software Modeling relationships in a software project team Rafael Rodríguez-Puente 1, Eliana B. Ril-Valentin 2 1 Departamento de Técnicas de

Más detalles

GUÍA DOCENTE DE LA ASIGNATURA

GUÍA DOCENTE DE LA ASIGNATURA Página de 5 DESCRIPCIÓN DE LA Grado/Máster en: Centro: Asignatura: Código: Tipo: Materia: Módulo: Experimentalidad: Idioma en el que se imparte: Castellano Curso: Semestre: Nº Créditos 4.5 Nº Horas de

Más detalles

Directora de Ingeniería en Computación y Profesora de Tiempo Completo del Departamento Académico de Computación

Directora de Ingeniería en Computación y Profesora de Tiempo Completo del Departamento Académico de Computación A N A L I D I A F R A N Z O N I V E L A Z Q U E Z y Profesora de Tiempo Completo del DOMICILIO Río Hondo #1, Tizapan San Ángel, 01080, México D.F. Teléfono Oficina: +52 (55) 56 28 40 63 56 28 40 00 ext.

Más detalles

Adaptación y Configuración de Procesos de Software Tailoring and Configuration of Software Processes

Adaptación y Configuración de Procesos de Software Tailoring and Configuration of Software Processes Adaptación y Configuración de Procesos de Software Tailoring and Configuration of Software Processes Rodolfo Villarroel Acevedo 1* 1 Pontificia Universidad Católica de Valparaíso. Avenida Brasil 2241,

Más detalles

Propuesta de una arquitectura para la generación de mutantes de orden superior en WS-BPEL

Propuesta de una arquitectura para la generación de mutantes de orden superior en WS-BPEL Propuesta de una arquitectura para la generación de mutantes de orden superior en WS-BPEL Emma Blanco Muñoz, Antonio García Domínguez, Juan José Domínguez Jiménez, Inmaculada Medina Bulo Escuela Superior

Más detalles

SET (Software Engineering Tutor). Una herramienta para la construcción guiada de modelos de dominio

SET (Software Engineering Tutor). Una herramienta para la construcción guiada de modelos de dominio SET (Software Engineering Tutor). Una herramienta para la construcción guiada de modelos de dominio Arturo Cepeda Pérez, Sergio Bravo Martín, Francisco José García Peñalvo Universidad de Salamanca, Facultad

Más detalles

Análisis comparativo entre CIMOSA (CIM-Open System Architecture) y DEM (Dynamic Enterprise Modelling)

Análisis comparativo entre CIMOSA (CIM-Open System Architecture) y DEM (Dynamic Enterprise Modelling) 3rd International Conference on Industrial Engineering and Industrial Management XIII Congreso de Ingeniería de Organización Barcelona-Terrassa, September 2nd-4th 2009 Análisis comparativo entre CIMOSA

Más detalles

ESPECIFICACIÓN Y TRAZABILIDAD DE REQUERIMIENTOS EN EL DESARROLLO DE APLICACIONES WEB

ESPECIFICACIÓN Y TRAZABILIDAD DE REQUERIMIENTOS EN EL DESARROLLO DE APLICACIONES WEB ESPECIFICACIÓN Y TRAZABILIDAD DE REQUERIMIENTOS EN EL DESARROLLO DE APLICACIONES WEB Ferraro, Maria de los Angeles a ; Medina, Yanina a* ; Dapozo, Gladys a ; Estayno, Marcelo b a Facultad de Ciencias Exactas

Más detalles

CURRICULUM VITAE IGNACIO LUIS PISANO MARTÍNEZ

CURRICULUM VITAE IGNACIO LUIS PISANO MARTÍNEZ CURRICULUM VITAE IGNACIO LUIS PISANO MARTÍNEZ Apellidos: Pisano Martínez Nombre: Ignacio Luis NIE español: X-4827145P Pasaporte italiano: A166945 1.- Titulación académica Licenciatura en Psicología. Universidad

Más detalles

PROGRAMA ANALÍTICO. Curso: Gestión de Procesos de Negocio. Docentes: Dr. Pablo David Villarreal (Responsable), Dr. Jorge Roa. Duración: 60 horas.

PROGRAMA ANALÍTICO. Curso: Gestión de Procesos de Negocio. Docentes: Dr. Pablo David Villarreal (Responsable), Dr. Jorge Roa. Duración: 60 horas. PROGRAMA ANALÍTICO Curso: Gestión de Procesos de Negocio Docentes: Dr. Pablo David Villarreal (Responsable), Dr. Jorge Roa. Duración: 60 horas. 1. Fundamentos En las últimas décadas, nuevos enfoques de

Más detalles

Guía Docente Curso 2012-2013

Guía Docente Curso 2012-2013 ESCUELA TÉCNIICA SUPERIIOR DE IINGENIIERÍÍA Guía Docente Curso 2012-2013 Titulación Ingeniería Informática DATOS DE LA ASIGNATURA * * Asignatura en experiencia piloto de implantación del sistema de créditos

Más detalles

Resumen. Contexto. Palabras clave: integración continua, software científico técnico, calidad de software.

Resumen. Contexto. Palabras clave: integración continua, software científico técnico, calidad de software. Automatización en el desarrollo de Software Crítico en el Ámbito Científico Técnico Alicia Salamon, Patricio Maller, Alejandra Boggio, Natalia Mira, Sofia Perez, Francisco Coenda. Departamento de Informática,

Más detalles

Datos Académicos del Profesor

Datos Académicos del Profesor Profesor: Dr. Ignacio Requejo Puerto Doctor en Economía de la Empresa, Universidad de Salamanca Profesor Ayudante Doctor, Economía Financiera y Contabilidad Teléfono 923 294763 Fax 923 294715 Email irequejo@usal.es

Más detalles

VI. Appendix VI English Phrases Used in Experiment 5, with their Spanish Translations Found in the Spanish ETD Corpus

VI. Appendix VI English Phrases Used in Experiment 5, with their Spanish Translations Found in the Spanish ETD Corpus VI. Appendix VI English Phrases Used in Experiment 5, with their Spanish Translations Found in the Spanish ETD Corpus App. VI. Table 1: The 155 English phrases and their Spanish translations discovered

Más detalles

Plan Nacional de I+D

Plan Nacional de I+D Ministerio de Educación y Ciencia Secretaría de Estado de Universidades, Investigación y Desarrollo Dirección General de Enseñanza Superior Plan Nacional de I+D Currículum vitae Impreso normalizado nº

Más detalles

Arquitectura de Empresa. Visión General

Arquitectura de Empresa. Visión General IX Congreso de Ingeniería de Organización Gijón, 8 y 9 de septiembre de 2005 de Empresa. Visión General Llanos Cuenca González 1, Ángel Ortiz Bas 1, Andrés Boza García 1 1 Centro de Investigación Gestión

Más detalles

GUÍA DOCENTE DE LA ASIGNATURA

GUÍA DOCENTE DE LA ASIGNATURA GUÍA DOCENTE DE LA ASIGNATURA G658 - Ingeniería del Software I Grado en Ingeniería Informática Obligatoria. Curso 3 Curso Académico 04-05 . DATOS IDENTIFICATIVOS Título/s Grado en Ingeniería Informática

Más detalles

Tecnologías para Desarrollo Orientado a Servicios (posgrado) Desarrollo de Software Orientado a Servicios (pregrado)

Tecnologías para Desarrollo Orientado a Servicios (posgrado) Desarrollo de Software Orientado a Servicios (pregrado) Tecnologías para Desarrollo Orientado a Servicios (posgrado) Desarrollo de Software Orientado a Servicios (pregrado) Mg. Elsa Estévez Universidad Nacional del Sur T.2 Contenidos 1 1) lenguaje XML extensible

Más detalles

Organización de objetos del sistema TANGOW: creación y seguimiento de cursos adaptativos a través de Internet

Organización de objetos del sistema TANGOW: creación y seguimiento de cursos adaptativos a través de Internet Carro, R.M., Moriyón, R., Pulido, E. and Rodríguez, P. (2000): Organización de objetos del sistema TANGOW: creación y seguimiento de cursos adaptativos a través de Internet. Interacción 2000. Actas de

Más detalles

GREDOS: Gestión del Repositorio Documental de la Universidad de Salamanca

GREDOS: Gestión del Repositorio Documental de la Universidad de Salamanca Actualizada el 26 de abril de 2015 GREDOS: Gestión del Repositorio Documental de la Universidad de Salamanca Tránsito Ferreras y Abel Casaus Universidad de Salamanca Universidad de Salamanca, 1-2 de octubre

Más detalles

Curriculum Vitae Alejandra Garrido

Curriculum Vitae Alejandra Garrido 16 de marzo de 2009 Curriculum Vitae Alejandra Garrido Datos Personales Apellido y Nombre: Lugar de nacimiento: Nacionalidad: Domicilio de trabajo: Email: Home page: Garrido, Alejandra La Plata, Buenos

Más detalles

STELLA MARIS SALVATIERRA Curriculum Vitae

STELLA MARIS SALVATIERRA Curriculum Vitae STELLA MARIS SALVATIERRA Curriculum Vitae Datos Personales Nombre y Apellido: Stella Maris Salvatierra DNI: 73.485.073-G Fecha de nacimiento: 1 de mayo de 1965 Domicilio: Urbanización Itaroa, 55 31620

Más detalles

Currículum Vitae Académico. Nombre: RENÉ ALEJANDRO NOËL LÓPEZ

Currículum Vitae Académico. Nombre: RENÉ ALEJANDRO NOËL LÓPEZ Currículum Vitae Académico Nombre: RENÉ ALEJANDRO NOËL LÓPEZ Fecha: 08/03/2013 1. Datos Personales Nombre: RENÉ ALEJANDRO NOËL LÓPEZ Nacionalidad: Chilena Email: rene.noel@uv.cl Teléfono: 032-2508300 Móvil:

Más detalles

EXPERIENCIAS EN LA GESTIÓN DE APLICACIONES DISTRIBUIDAS

EXPERIENCIAS EN LA GESTIÓN DE APLICACIONES DISTRIBUIDAS EXPERIENCIAS EN LA GESTIÓN DE APLICACIONES DISTRIBUIDAS Jorge E. López de Vergara, Víctor A. Villagrá, Juan I. Asensio, José I. Moreno, Julio J. Berrocal. Dept. de Ingeniería de Sistemas Telemáticos Universidad

Más detalles

Asignatura: SISTEMAS EN TIEMPO REAL Código: 40007318 Año académico: 2009/2010 Centro:

Asignatura: SISTEMAS EN TIEMPO REAL Código: 40007318 Año académico: 2009/2010 Centro: Asignatura: SISTEMAS EN TIEMPO REAL Código: 40007318 Año académico: 2009/2010 Centro: ESCUELA POLITÉCNICA SUPERIOR Departamento: LENGUAJES Y COMPUTACIÓN Área: INGENIERÍA DE SISTEMAS Y AUTOMÁTICA Titulación:

Más detalles

Curriculum Vitae Noraida Domínguez Flores Catedrática Auxiliar

Curriculum Vitae Noraida Domínguez Flores Catedrática Auxiliar Curriculum Vitae Noraida Domínguez Flores Catedrática Auxiliar Via del valle K- 22 Urb. La Vista San Juan, P.R. 00924 Celular: (787) 810-3142 Oficina: (787) 764-0000 ext. 2994 E- mail: noraida.dominguez@upr.edu

Más detalles

Diplomado en. Educación matemática virtual

Diplomado en. Educación matemática virtual DEPARTAMENTO DE DESARROLLO ACADÉMICO Diplomado en Educación matemática virtual RESPONSABLES Dr. Manuel Juárez Pacheco juarezmanuel@cenidet.edu.mx M.C. José Luis Ramírez Alcántara jlram@cenidet.edu.mx Dirigido

Más detalles

Modelado de Interacciones en Espacios Virtuales Dedicados a Trabajo Colaborativo

Modelado de Interacciones en Espacios Virtuales Dedicados a Trabajo Colaborativo Modelado de Interacciones en Espacios Virtuales Dedicados a Trabajo Colaborativo Darío Rodríguez y Ramón García-Martínez Grupo Investigación en Sistemas de Información. Departamento Desarrollo Productivo

Más detalles

Grupo de Investigación en Agentes Software: Ingeniería y Aplicaciones. http://grasia.fdi.ucm.es

Grupo de Investigación en Agentes Software: Ingeniería y Aplicaciones. http://grasia.fdi.ucm.es Grupo de Investigación en Agentes Software: Ingeniería y Aplicaciones http://grasia.fdi.ucm.es Dep. Ingeniería del Software e Inteligencia Artificial Facultad de Informática Universidad Complutense de

Más detalles

Aplicación de las Técnicas de Modelado y Simulación en la Gestión de Servicios TI

Aplicación de las Técnicas de Modelado y Simulación en la Gestión de Servicios TI Aplicación de las Técnicas de Modelado y Simulación en la Gestión de Servicios TI Elena Orta 1, Mercedes Ruiz 1 y Miguel Toro 2 1 Departamento de Lenguajes y Sistemas Informáticos Escuela Superior de Ingeniería

Más detalles