Ernesto Pimentel Sánchez

• Colaboraciones en obras colectivas (15)
• Libros (1)
• Tesis (1)
• Tesis dirigidas (10)
• Coordinación (1 publicación)

• Colaboraciones en obras colectivas

  • Seleccionado

    Composition and Self-Adaptation of Service-Based Systems with Feature Models

    Nadia Gámez Gómez, Lidia Fuentes Fernández , Ernesto Pimentel Sánchez, Javier Cubo

    Safe and Secure Software Reuse: 13th International Conference on Software Reuse, ICSR 2013 / coord. por Maurizio Morisio, 2013, ISBN 9783642389764, págs. 32-342

    
  • Seleccionado

    Modelando la composición y adaptacióhn de servicios web dependientes del contexto

    Javier Cubo, José Carlos Canal Velasco , Ernesto Pimentel Sánchez

    Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008 / coord. por José Manuel López Cobo, Antonio Vallecillo Moreno , Antonio Ruiz Cortés , 2008, ISBN 978-84-691-6710-6, págs. 56-69

    • Resumen
    
  • Seleccionado

    Adaptación al EEES en la Escuela de Informática de la Universidad de Málaga

    Eva Millán Valldeperas , Ernesto Pimentel Sánchez

    I Jornadas de trabajo sobre experiencias piloto de implantación del crédito europeo en las universidades andaluzas: libro de actas. Cádiz, del 19 al 21 de septiembre de 2006, 2008, ISBN 978-84-9828-183-5, págs. 769-774

    
  • Seleccionado

    El uso de herramientas de apoyo para la valoración de actividades prácticas de programación

    Francisco Durán Muñoz , Francisco Gutiérrez, Ernesto Pimentel Sánchez

    Innovación educativa en las titulaciones de Informática en la Universidad española [Recurso electrónico] / coord. por Jacinto Mata Vázquez , José Luis Álvarez Macías , Manuel Jesús Maña López , Patricio Salmerón Revuelta , 2008, ISBN 978-84-96826-72-4, págs. 13-28

    
  • Seleccionado

    Lecciones aprendidas en los tres cursos de experiencia piloto de adaptación al EEES en la Escuela Técnica Superior de Ingeniería Informática de Málaga

    Eva Millán Valldeperas , Ernesto Pimentel Sánchez

    Innovación educativa en las titulaciones de Informática en la Universidad española [Recurso electrónico] / coord. por Jacinto Mata Vázquez , José Luis Álvarez Macías , Manuel Jesús Maña López , Patricio Salmerón Revuelta , 2008, ISBN 978-84-96826-72-4, págs. 157-173

    
  • Seleccionado

    aSPIN: implementing model checking wih data abstraction

    Ernesto Pimentel Sánchez, María del Mar Gallardo Melgarejo , Pedro Merino Gómez , Jesús Martínez Cruz

    Concurrencia y sistemas distribuidos: actas de las XI Jornadas de Concurrencia / coord. por Miguel Pérez Francisco, Pablo Boronat Pérez, 2003, ISBN 84-8021-434-1, págs. 193-206

    
  • Seleccionado

    Coordinación basada en tuplas compartidas y en canales de comunicación

    Ernesto Pimentel Sánchez, Silva Amaro, Ana María Roldán Ruiz

    III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 / coord. por Juan José Moreno Navarro , Manuel Palomar Sanz , 2003, ISBN MU-2299-2003, pág. 119

    
  • Seleccionado

    Comparing Abstract Semantics for Model Checking

    María del Mar Gallardo Melgarejo , Pedro Merino Gómez , Ernesto Pimentel Sánchez

    III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 / coord. por Juan José Moreno Navarro , Manuel Palomar Sanz , 2003, ISBN MU-2299-2003, pág. 167

    
  • Seleccionado

    Componentes Software en Linda, un caso de estudio

    Ernesto Pimentel Sánchez, Ana María Roldán Ruiz

    VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) / coord. por Matilde Celma Giménez , Oscar Pastor Acosta , Natalia Juristo Juzgado , Juan José Moreno Navarro , 2002, ISBN 84-688-0206-9, págs. 363-374

    
  • Seleccionado

    Métodos formales en ingeniería del software

    Ernesto Pimentel Sánchez

    Actas del Encuentro de Matemáticos Andaluces / coord. por Emilio Briales Morales , Alfonso Carriazo Rubio , Tomás Chacón Rebollo , Pedro Real Jurado , Alvaro Romero Jiménez, Vol. 1, 2001 (Conferencias plenarias y semblanzas), ISBN 84-472-0289-5, págs. 231-234

    
  • Seleccionado

    Abstract Satisfiability of Linear Temporal Logic

    María del Mar Gallardo Melgarejo , Pedro A. Merino Calvo, Ernesto Pimentel Sánchez

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 / Fernando Orejas Valdés (ed. lit.) , Fernando Cuartero Gómez (ed. lit.) , Diego Cazorla López (ed. lit.) , 2001, págs. 163-178

    
  • Seleccionado

    Compatibility of Linda Interfaces

    Alessandro Brogi, Ernesto Pimentel Sánchez, Ana María Roldán

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 / Fernando Orejas Valdés (ed. lit.) , Fernando Cuartero Gómez (ed. lit.) , Diego Cazorla López (ed. lit.) , 2001, págs. 295-308

    
  • Seleccionado

    Coordinación de componentes distribuidos: un enfoque generativo basado en arquitectura del software

    José Carlos Canal Velasco , Lidia Fuentes Fernández , Ernesto Pimentel Sánchez, José María Troya Linero

    IV Jornadas de Ingeniería del Software y Bases de Datos: (JISBD'99) / Pere Botella López (aut.) , Juan Hernández Núñez (aut.) , F. Saltor (aut.), Universidad de Extremadura (aut.), 1999, ISBN 84-699-0956-8, págs. 443-454

    
  • Seleccionado

    Un sistema de partición perezosa para Forum

    Pablo López, Ernesto Pimentel Sánchez

    III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic] / Juan Carlos Torres Cantero (dir. congr.) , 1997, ISBN 84-8498-463-X, págs. 39-48

    • Resumen
    
  • Seleccionado

    Software Architectures Specification with Pi-Calculus

    José Carlos Canal Velasco , Ernesto Pimentel Sánchez, José María Troya Linero

    I Jornadas de Trabajo de Ingeniería del Software / coord. por José Miguel Toro Bonilla , 1996, págs. 31-40

    

• Libros

  • Seleccionado

    Programación orientada a objetos con Java

    Francisco Durán Muñoz , Ernesto Pimentel Sánchez, Francisco Gutiérrez Carbajo

    Madrid : Thomson, cop. 2007. ISBN 978-84-9732-572-1

    

• Tesis

  • Seleccionado

    L2 II O2 un lenguaje lógico concurrente orientado a objetos

    Ernesto Pimentel Sánchez

    Tesis doctoral dirigida por José María Troya Linero (dir. tes.) . Universidad de Málaga (1993).

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    A requirements-driven approach for building architecture projects of self-adaptive systems

    Patricia Araujo de Oliveira

    Tesis doctoral dirigida por Ernesto Pimentel Sánchez (dir. tes.), Francisco Durán Muñoz (dir. tes.) . Universidad de Málaga (2022).

    • Resumen
    • Tesis en acceso abierto en:  TESEO  RIUMA 
    
  • Seleccionado

    Unified management of applications on heterogeneous clouds

    Jose Manuel Carrasco Mora

    Tesis doctoral dirigida por Ernesto Pimentel Sánchez (dir. tes.), Francisco Durán Muñoz (codir. tes.) . Universidad de Málaga (2021).

    • Resumen
    • Tesis en acceso abierto en: RIUMA
    
  • Seleccionado

    Secure adaptation of software services

    José Antonio Martín Baena

    Tesis doctoral dirigida por Ernesto Pimentel Sánchez (dir. tes.). Universidad de Málaga (2012).

    • Resumen
    
  • Seleccionado

    On cheking the compatibility of service interaction protocosis

    Meriem Ouederni

    Tesis doctoral dirigida por Ernesto Pimentel Sánchez (dir. tes.), Gwen Salaün (dir. tes.) . Universidad de Málaga (2011).

    • Resumen
    
  • Seleccionado

    Uso de conectores para la composicion coordinacion y adaptacion de componentes

    José Luis Pastrana Brincones

    Tesis doctoral dirigida por Ernesto Pimentel Sánchez (dir. tes.). Universidad de Málaga (2011).

    • Resumen
    
  • Seleccionado

    Discovery, adaptation and monitoring of context aware services and components

    Javier Cubo

    Tesis doctoral dirigida por José Carlos Canal Velasco (dir. tes.) , Ernesto Pimentel Sánchez (dir. tes.). Universidad de Málaga (2010).

    • Resumen
    
  • Seleccionado

    Interoperabilidad de componentes en linda

    Ana María Roldán Ruiz

    Tesis doctoral dirigida por Ernesto Pimentel Sánchez (dir. tes.). Universidad de Málaga (2008).

    • Resumen
    
  • Seleccionado

    Protección de software basada en tarjetas inteligentes

    Antonio Maña

    Tesis doctoral dirigida por Ernesto Pimentel Sánchez (dir. tes.), Javier López (codir. tes.) . Universidad de Málaga (2003).

    • Resumen
    
  • Seleccionado

    Un lenguaje para la especificación y validación de arquitecturas de software

    José Carlos Canal Velasco

    Tesis doctoral dirigida por José María Troya Linero (dir. tes.) , Ernesto Pimentel Sánchez (dir. tes.). Universidad de Málaga (2001).

    • Resumen
    
  • Seleccionado

    Modularidad en programación lógico-funcional de primer orden

    Juan Miguel Molina Bravo

    Tesis doctoral dirigida por Ernesto Pimentel Sánchez (dir. tes.). Universidad de Málaga (2000).

    • Resumen
    

• Coordinación

  • Obras Colectivas

    • Seleccionado

      VIII Jornadas de Ingeniería del Software y Bases de Datos: Actas (JISBD'03). Alicante, del 12 al 14 de noviembre de 2003

      coord. por Ernesto Pimentel Sánchez, Nieves R. Brisaboa , Jaime Gómez Ortega

      Universidad de Alicante / Universitat d'Alacant, 2003. ISBN 84-688-3836-5

      

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.