José Miguel Cañete Valdeón

• Artículos de revistas (2)
• Colaboraciones en obras colectivas (5)
• Tesis (1)

• Artículos de revistas

  • Seleccionado

    How influential has academic and industrial research been in current software life cycles? A retrospective analysis of four mainstream activities

    José Miguel Cañete Valdeón

    Information and software technology, ISSN 0950-5849, Vol. 55, Nº 2, 2013, págs. 226-240

    • Texto completo
    
  • Seleccionado

    Metodos formales orientados a objetos

    José Miguel Cañete Valdeón, Francisco José Galán Morillo

    Novática: Revista de la Asociación de Técnicos de Informática, ISSN 0211-2124, Nº. 165, 2003 (Ejemplar dedicado a: Teleaprendizaje. E-Learning), págs. 62-64

    • Resumen
    

• Colaboraciones en obras colectivas

  • Seleccionado

    The problem of implementing invariants in a Semantic Web context

    Francisco José Galán Morillo , Adolfo Antonio Aumaitre del Rey, José Miguel Cañete Valdeón, E. Velazquez Caballero, Vicente Carrillo Montero, F.J. Gallego Rivera

    Actas de las II Jornadas sobre Ontologías Web y Semántica / Oscar Corcho García (ed. lit.) , Asunción Gómez Pérez (ed. lit.) , Juan Antonio Prieto (ed. lit.), Richard Benjamins (ed. lit.) , 2007, ISBN 978-84-9732-612-4, págs. 19-27

    
  • Seleccionado

    Conciencia de modelos como instrumentos en ingeniería de Software: una Aproximación desde las Ciencias Naturales y Sociales

    José Miguel Cañete Valdeón, Francisco José Galán Morillo , José Miguel Toro Bonilla

    Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004 / Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (aut.), Agustín Vicente Benito (dir. congr.), Patricia de la Fuente López (dir. congr.), Cristina Corredor Lanas (dir. congr.), Juan Barba Escribá (dir. congr.) , Alfredo Marcos Martínez (dir. congr.), 2004, ISBN 84-688-8448-0, págs. 536-541

    
  • Seleccionado

    Towards rigorous and effective type contracts

    José Miguel Cañete Valdeón, Francisco José Galán Morillo

    JISBD 2001. Jornadas de ingeniería del software y bases de datos: 21 y 23 de noviembre de 2001. Almagro (Ciudad Real) / Arantza Illarramendi Echave (ed. lit.) , Óscar Díaz García (ed. lit.) , Mario G. Piattini Velthuis (ed. lit.) , 2001, ISBN 84-699-6275-2, págs. 361-373

    
  • Seleccionado

    Transforming Layered Specifications into Operational Specifications

    Francisco Javier Galán Soraluce, José Miguel Cañete Valdeó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. 145-162

    
  • Seleccionado

    Primeros Pasos hacia un Compilador de UML/OCL

    José Miguel Cañete Valdeón, Francisco José Galán Morillo , José Miguel Toro Bonilla

    ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 / coord. por Carlos Delgado Kloos , Esperanza Marcos Martínez , José M. Marques, 2000, ISBN 84-8448-065-8, págs. 27-32

    

• Tesis

  • Seleccionado

    Una teoría sobre lenguajes y métodos de diseño en ingeniería de software

    José Miguel Cañete Valdeón

    Tesis doctoral dirigida por Francisco José Galán Morillo (dir. tes.) , José Miguel Toro Bonilla (dir. tes.) . Universidad de Sevilla (2006).

    

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.