José Carlos Canal Velasco

• Artículos de revistas (1)
• Colaboraciones en obras colectivas (5)
• Tesis (1)
• Tesis dirigidas (3)
• Coordinación (1 publicación)

• Artículos de revistas

  • Seleccionado

    Interactive specification and verification of behavioral adaptation contracts

    Javier Camara Moreno, Gwen Salaün , José Carlos Canal Velasco, Meriem Ouederni

    Information and software technology, ISSN 0950-5849, Vol. 54, Nº 7, 2012, págs. 701-723

    • Texto completo
    

• Colaboraciones en obras colectivas

  • 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

    Síntesis de patrones de interacción a partir de diagramas de secuencia en UML

    Miguel Angel Pérez Toledano , A. Navasa, Juan Manuel Murillo Rodríguez , José Carlos Canal Velasco

    Actas de las X Jornadas de Ingeniería del Software y Bases de Datos / José Ambrosio Toval Álvarez (aut.) , Juan Hernández Núñez (aut.) , 2005, ISBN 84-9732-434-X, págs. 83-90

    
  • 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

    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

    
  • Seleccionado

    Implementación de los tipos abstractos de datos SDL en un lenguaje lógico concurrente

    José Carlos Canal Velasco, Lidia Fuentes Fernández

    II Jornadas de informática. Actas: Almuñécar (Granada), 15 al 19 de julio 1996 / Buenaventura Clares Rodríguez (dir. congr.) , 1996, ISBN 84-8254-080-7, págs. 595-604

    • Resumen
    

• Tesis

  • 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
    

• Tesis dirigidas

  • 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

    Run-time behavioural adaptation of components and services

    Javier Camara Moreno

    Tesis doctoral dirigida por José Carlos Canal Velasco (dir. tes.), Gwen Salaün (dir. tes.) . Universidad de Málaga (2009).

    • Resumen
    
  • Seleccionado

    Titán: un marco de trabajo para el estudio de la integración de aspectos en sistemas software

    Miguel Angel Pérez Toledano

    Tesis doctoral dirigida por Juan Manuel Murillo Rodríguez (dir. tes.) , José Carlos Canal Velasco (dir. tes.). Universidad de Extremadura (2008).

    • Resumen
    • Tesis en acceso abierto en: TESEO
    

• Coordinación

  • Obras Colectivas

    • Seleccionado

      New Issues on Coordination and Adaptation Techniques

      coord. por Steffen Becker, José Carlos Canal Velasco, Juan Manuel Murillo Rodríguez , Pascal Poizat , Massimo Tivoli

      Universidad de Málaga (UMA), 2005. ISBN 84-689-2747-3

      

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.