Francisco José Galán Morillo

• Artículos de revistas (1)
• Colaboraciones en obras colectivas (8)
• Tesis (1)
• Tesis dirigidas (1)

• Artículos de revistas

  • 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

    Uso de ontologías en la difusión de contenidos geosincronizados

    Vicente Carrillo Montero, Francisco José Galán Morillo, Adolfo Antonio Aumaitre del Rey

    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. 11-18

    
  • 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

    Named Entity Recognition Through Corpus Transformation and System Combination

    José A. Troyano, Vicente Carrillo, Fernando Enríquez, Francisco José Galán Morillo

    Advances in Natural Language Processing: 4th International Conference, EsTAL 2004, Alicante, Spain, October 20-22, 2004: proceedings / coord. por José-Luis Vicedo González , Patricio Martínez Barco , Rafael Muñoz Gil, Maximiliano Sáiz Noeda , 2004, ISBN 3-540-23498-5, págs. 255-266

    
  • 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

    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

    
  • Seleccionado

    Síntesis deductiva de programas lógicos con tipos

    Francisco José Galán Morillo, José Miguel Toro Bonilla

    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. 31-39

    • Resumen
    
  • Seleccionado

    Síntesis constructiva de programas lógicos

    Francisco José Galán Morillo, José Miguel Toro Bonilla

    I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995 / José María Troya Linero (dir. congr.) , Casiano Rodríguez León (dir. congr.) , 1995, págs. 311-322

    • Resumen
    

• Tesis

  • Seleccionado

    Formalizaciones para sintetizar software orientado a objetos

    Francisco José Galán Morillo

    Tesis doctoral dirigida por José Miguel Toro Bonilla (dir. tes.) . Universidad de Sevilla (2000).

    • Resumen
    

• Tesis dirigidas

  • 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.