Directorio
FRANCISCO JOSE GALAN MORILLO
Categoría
Profesor Titular de Universidad
Departamento
Área
Lenguajes y Sistema Informáticos
Docencia
Investigación
Grupo de investigación
SISTEMAS INFORMATICOS (SISTEMAS INFORMATICOS)
Proyectos y contratos de investigación
CONSTRUCCIÓN DE UN SISTEMA DE RECUPERACIÓN DE INFORMACIÓN MULTILINGÜE EN LA WEB (FIT-150500-2002-416 - Investigador/a)
CONSTRUCCIÓN DE UN SISTEMA DE RECUPERACIÓN DE INFORMACIÓN MULTILINGÜE EN LA WEB (FIT-150500-2003-412 - Investigador/a)
RECONOCIMIENTO DE ENTIDADES USANDO ONTOLOGIAS (TIN2004-07246-C03-03 - Investigador/a)
TÉCNICAS INDUCTIVAS Y DEDUCTIVAS PARA LA EXTRACCIÓN DE INFORMACIÓN (HUM2007-66607-C04-04 - Investigador/a)
UN SISTEMA DE RADIODIFUSIÓN PERSONALIZADA Y GEORREFERENCIADA SOBRE REDES MÓVILES DE PAQUETES (OG-136/06 - Investigador/a)
CLEARWAY: SISTEMA PERSONAL DE NAVEGACIÓN Y DE ORIENTACIÓN SONORA PARA PERSONAS INVIDENTES A TRAVÉS DEL USO DE LOS NUEVOS SISTEMAS EUROPEOS DE GEO-POSI (OG-118/07 - Investigador/a)
PROYECTO DE INVESTIGACIÓN: MODELOS Y ONTOLOGÍAS DE NEGOCIO (OG-015/07 - Responsable)
Estudios para el Desarrollo de un Sistema de Información para la Programación Avanzada de Montajes Aeronáuticos (PAM) (P041-07/E08 - Investigador/a)
Análisis de Contenidos Generados por Usuarios (TIN2012-38536-C03-02 - Investigador/a)
ANALISIS DE CONTENIDOS GENERADOS POR USUARIOS (TIN2012-38536-C03-02 - Investigador/a)
Análisis de Contenidos Generados por Usuarios (TIN2012-38536-C03-02 - Investigador/a)
ANALISIS DE CONTENIDOS GENERADOS POR USUARIOS (TIN2012-38536-C03-02 - Investigador/a)
Libros publicados
Galán-Morillo, Francisco José;Cañete-Valdeón, José Miguel:
MÉTODOS FORMALES ORIENTADOS A OBJETOS. . 2002.
MÉTODOS FORMALES ORIENTADOS A OBJETOS. . 2002.
Capítulos en Libros
Toro-Bonilla, Miguel;Galán-Morillo, Francisco José;Ortega-Ramírez, Juan A.:
SEMIQUALITATIVE TEMPORAL PATTERNS IN TIME-SERIES DATABASES. Pág. 11-20. EDICIÓN DIGITAL @ TRES. EDICIÓN DIGITAL @ TRES. 2000.
SEMIQUALITATIVE TEMPORAL PATTERNS IN TIME-SERIES DATABASES. Pág. 11-20. EDICIÓN DIGITAL @ TRES. EDICIÓN DIGITAL @ TRES. 2000.
Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel;Galán-Morillo, Francisco José:
OPTIMIZACION EN MODELOS QUE INTEGRAN CONOCIMIENTO CUALITATIVO Y CUANTITATIVO. Pág. 1-9. EDICIÓN DIGITAL @ TRES. EDICIÓN DIGITAL @ TRES. 2000.
OPTIMIZACION EN MODELOS QUE INTEGRAN CONOCIMIENTO CUALITATIVO Y CUANTITATIVO. Pág. 1-9. EDICIÓN DIGITAL @ TRES. EDICIÓN DIGITAL @ TRES. 2000.
Asistencia a congresos
Galán-Morillo, Francisco José;Carrillo-Montero, Vicente;Aumaitre-Del Rey, Adolfo Antonio:
THE PROBLEM OF IMPLEMENTING INVARIANTS IN A SEMANTIC WEB CONTEXT. Comunicación en congreso. JORNADAS SOBRE ONTOLOGÍAS Y WEB SEMÁNTICA, WEBSEMÁNTICA'2007 (2) (2.2007.ZARAGOZA, SPAIN). ZARAGOZA, SPAIN. 2007
THE PROBLEM OF IMPLEMENTING INVARIANTS IN A SEMANTIC WEB CONTEXT. Comunicación en congreso. JORNADAS SOBRE ONTOLOGÍAS Y WEB SEMÁNTICA, WEBSEMÁNTICA'2007 (2) (2.2007.ZARAGOZA, SPAIN). ZARAGOZA, SPAIN. 2007
Aumaitre-Del Rey, Adolfo Antonio;Carrillo-Montero, Vicente;Galán-Morillo, Francisco José:
USER-CENTRIC SYSTEM FOR CONTENTS DISSEMINATION. Comunicación en congreso. USER-CENTRIC TECHNOLOGIES AND APPLICATIONS (MADRINET) (1) (1.2007.SALAMANCA, SPAIN). . 2007
USER-CENTRIC SYSTEM FOR CONTENTS DISSEMINATION. Comunicación en congreso. USER-CENTRIC TECHNOLOGIES AND APPLICATIONS (MADRINET) (1) (1.2007.SALAMANCA, SPAIN). . 2007
Carrillo-Montero, Vicente;Galán-Morillo, Francisco José;Aumaitre-Del Rey, Adolfo Antonio:
USO DE ONTOLOGÍAS EN LA DIFUSIÓN DE CONTENIDOS GEOSINCRONIZADOS. Comunicación en congreso. JORNADAS SOBRE ONTOLOGÍAS Y WEB SEMÁNTICA, WEBSEMÁNTICA'2007 (2) (2.2007.ZARAGOZA, SPAIN). ZARAGOZA, SPAIN. 2007
USO DE ONTOLOGÍAS EN LA DIFUSIÓN DE CONTENIDOS GEOSINCRONIZADOS. Comunicación en congreso. JORNADAS SOBRE ONTOLOGÍAS Y WEB SEMÁNTICA, WEBSEMÁNTICA'2007 (2) (2.2007.ZARAGOZA, SPAIN). ZARAGOZA, SPAIN. 2007
Aumaitre-Del Rey, Adolfo Antonio;Carrillo-Montero, Vicente;Galán-Morillo, Francisco José:
USING ONTOLOGIES FOR OPTIMIZING ADVERTISING MANAGEMENT IN A GEO-REFERENCED RADIO SYSTEM. Comunicación en congreso. CONFERENCE ON INFORMATION MANAGEMENT AND INTERNET RESEARCH (1) (1.2007.EDITH COWAN UNIVERSITY, JOONDALUP, WESTERN AUSTRALIA). EDITH COWAN UNIVERSITY, JOONDALUP, WESTERN AUSTRALIA. 2007
USING ONTOLOGIES FOR OPTIMIZING ADVERTISING MANAGEMENT IN A GEO-REFERENCED RADIO SYSTEM. Comunicación en congreso. CONFERENCE ON INFORMATION MANAGEMENT AND INTERNET RESEARCH (1) (1.2007.EDITH COWAN UNIVERSITY, JOONDALUP, WESTERN AUSTRALIA). EDITH COWAN UNIVERSITY, JOONDALUP, WESTERN AUSTRALIA. 2007
Aumaitre-Del Rey, Adolfo Antonio;Carrillo-Montero, Vicente;Galán-Morillo, Francisco José:
RADIO SYSTEM FOR MOBILE COMMERCE, INFORMATION AND ENTERTAINMENT SERVICES. Comunicación en congreso. IASTED INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS AND NETWORKS (6) (6.2007.PALMA DE MALLORCA, SPAIN). PALMA DE MALLORCA, SPAIN. 2007
RADIO SYSTEM FOR MOBILE COMMERCE, INFORMATION AND ENTERTAINMENT SERVICES. Comunicación en congreso. IASTED INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS AND NETWORKS (6) (6.2007.PALMA DE MALLORCA, SPAIN). PALMA DE MALLORCA, SPAIN. 2007
Galán-Morillo, Francisco José;Cañete-Valdeón, José Miguel;Carrillo-Montero, Vicente;Ortega-Rodríguez, Francisco Javier:
COMPILING A CLASS OF ASSERTIONS CONTAINING INFINITE QUANTIFICATION. Comunicación en congreso. II CONGRESO ESPAÑOL DE INFORMATICA () (.2007.ZARAGOZA). . 2007
COMPILING A CLASS OF ASSERTIONS CONTAINING INFINITE QUANTIFICATION. Comunicación en congreso. II CONGRESO ESPAÑOL DE INFORMATICA () (.2007.ZARAGOZA). . 2007
Troyano-Jiménez, José A.;Galán-Morillo, Francisco José;Carrillo-Montero, Vicente;Enriquez De Salamanca-Ros, Fernando;García-,Enrique J:
PRÁCTICAS DE LA ASIGNATURA PROCESADORES DE LENGUAJE CON LA HERRAMIENTA ANTLR. Comunicación en congreso. JORNADAS DE ENSEÑANZA UNIVERSITARIA DE LA INFORMÁTICA (11) (11.2005.MADRID, ESPAÑA). . 2005
PRÁCTICAS DE LA ASIGNATURA PROCESADORES DE LENGUAJE CON LA HERRAMIENTA ANTLR. Comunicación en congreso. JORNADAS DE ENSEÑANZA UNIVERSITARIA DE LA INFORMÁTICA (11) (11.2005.MADRID, ESPAÑA). . 2005
Cañete-Valdeón, José Miguel;Galán-Morillo, Francisco José:
TOWARDS A THEORY ON THE ROLE OF ONTOLOGIES IN SOFTWARE ENGINEERING PROBLEM SOLVING.. Comunicación en congreso. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING FASE 2005 () (.2005.EDINBURGH, UNITED KINGDOM). EDINBURGH, UNITED KINGDOM. 2005
TOWARDS A THEORY ON THE ROLE OF ONTOLOGIES IN SOFTWARE ENGINEERING PROBLEM SOLVING.. Comunicación en congreso. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING FASE 2005 () (.2005.EDINBURGH, UNITED KINGDOM). EDINBURGH, UNITED KINGDOM. 2005
Galán-Morillo, Francisco José;Cañete-Valdeón, José Miguel:
A Method for Compiling and Executing Expressive Assertions. Comunicación en congreso. Integrated Formal Methods, 4th International Conference. Canterbury, KENT UNIVERSITY (UK). 2004
A Method for Compiling and Executing Expressive Assertions. Comunicación en congreso. Integrated Formal Methods, 4th International Conference. Canterbury, KENT UNIVERSITY (UK). 2004
Galán-Morillo, Francisco José;Cañete-Valdeón, José Miguel:
¿QUÉ SE ENTIENDE EN ESPAÑA POR INVESTIGACIÓN EN INGENIERÍA DE SOFTWARE?. Comunicación en congreso. WORKSHOP SOBRE MÉTODOS DE INVESTIGACIÓN Y FUNDAMENTOS FILOSÓFICOS EN INGENIERÍA DEL SOFTWARE Y SISTEMAS DE INFORMACIÓN (.2002.EL ESCORIAL, ESPAÑA). EL ESCORIAL, ESPAÑA. 2002
¿QUÉ SE ENTIENDE EN ESPAÑA POR INVESTIGACIÓN EN INGENIERÍA DE SOFTWARE?. Comunicación en congreso. WORKSHOP SOBRE MÉTODOS DE INVESTIGACIÓN Y FUNDAMENTOS FILOSÓFICOS EN INGENIERÍA DEL SOFTWARE Y SISTEMAS DE INFORMACIÓN (.2002.EL ESCORIAL, ESPAÑA). EL ESCORIAL, ESPAÑA. 2002
Galán-Morillo, Francisco José;Cañete-Valdeón, José Miguel:
COMPILING (FOR VALIDATING) EXPLICIT SPECIFICATIONS INTO RECURSIVE SPECIFICATIONS IN LINEAR STRATIFIED THEORIES. Comunicación en congreso. JOINT CONFERENCE ON DECLARATIVE PROGRAMMING (.2002.MADRID, ESPAÑA). . 2002
COMPILING (FOR VALIDATING) EXPLICIT SPECIFICATIONS INTO RECURSIVE SPECIFICATIONS IN LINEAR STRATIFIED THEORIES. Comunicación en congreso. JOINT CONFERENCE ON DECLARATIVE PROGRAMMING (.2002.MADRID, ESPAÑA). . 2002
Cañete-Valdeón, José Miguel;Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
ADAPTING DESIGN TYPES TO COMMUNICATION MEDIA AND MIDDLEWARE ENVIRONMENTS. Comunicación en congreso. WORKSHOP ON INTEGRATION AND TRANSFORMATION OF UML MODELS (1.2002.MÁLAGA, ESPAÑA). , MÁLAGA, ESPAÑA. 2002
ADAPTING DESIGN TYPES TO COMMUNICATION MEDIA AND MIDDLEWARE ENVIRONMENTS. Comunicación en congreso. WORKSHOP ON INTEGRATION AND TRANSFORMATION OF UML MODELS (1.2002.MÁLAGA, ESPAÑA). , MÁLAGA, ESPAÑA. 2002
Galán-Morillo, Francisco José;Cañete-Valdeón, José Miguel:
TOWARDS A RIGOROUS AND EFFECTIVE TYPE CONTRACTS. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (6.2001.ALMAGRO, CIUDAD REAL, ESPAÑA). ALMAGRO, CIUDAD REAL, ESPAÑA. 2001
TOWARDS A RIGOROUS AND EFFECTIVE TYPE CONTRACTS. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (6.2001.ALMAGRO, CIUDAD REAL, ESPAÑA). ALMAGRO, CIUDAD REAL, ESPAÑA. 2001
Galán-Morillo, Francisco José;Cañete-Valdeón, José Miguel:
DISCOVERING RECURSIONS BY SIMILARITY. Comunicación en congreso. WORKSHOP ON PRECISE SOFTWARE DEVELOPMENT (2.2001.ALMAGRO, CIUDAD REAL (ESPAÑA)). ALMAGRO, CIUDAD REAL (ESPAÑA). 2001
DISCOVERING RECURSIONS BY SIMILARITY. Comunicación en congreso. WORKSHOP ON PRECISE SOFTWARE DEVELOPMENT (2.2001.ALMAGRO, CIUDAD REAL (ESPAÑA)). ALMAGRO, CIUDAD REAL (ESPAÑA). 2001
Galán-Morillo, Francisco José;Cañete-Valdeón, José Miguel:
TRANSFORMING LAYERED SPECIFICATIONS INTO OPERATIONAL SPECIFICATIONS. Comunicación en congreso. JORNADAS SOBRE PROGRAMACIÓN Y LENGUAJES (1.2001.ALMAGRO, CIUDAD REAL, ESPAÑA). ALMAGRO, CIUDAD REAL, ESPAÑA. 2001
TRANSFORMING LAYERED SPECIFICATIONS INTO OPERATIONAL SPECIFICATIONS. Comunicación en congreso. JORNADAS SOBRE PROGRAMACIÓN Y LENGUAJES (1.2001.ALMAGRO, CIUDAD REAL, ESPAÑA). ALMAGRO, CIUDAD REAL, ESPAÑA. 2001
Galán-Morillo, Francisco José;Cañete-Valdeón, José Miguel:
FOLDING BY SIMILARITY. Comunicación en congreso. JOINT CONFERENCE ON DECLARATIVE PROGRAMMING (1.2001.EVORA (PORTUGAL)). EVORA (PORTUGAL). 2001
FOLDING BY SIMILARITY. Comunicación en congreso. JOINT CONFERENCE ON DECLARATIVE PROGRAMMING (1.2001.EVORA (PORTUGAL)). EVORA (PORTUGAL). 2001
Cañete-Valdeón, José Miguel;Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
PRIMEROS PASOS HACIA UN COMPILADOR DE UML/OCL. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS, JISDB'2000 (.2000.VALLADOLID (ESPAÑA)). VALLADOLID (ESPAÑA). 2000
PRIMEROS PASOS HACIA UN COMPILADOR DE UML/OCL. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS, JISDB'2000 (.2000.VALLADOLID (ESPAÑA)). VALLADOLID (ESPAÑA). 2000
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel;Galán-Morillo, Francisco José:
OPTIMIZACIÓN EN MODELOS QUE INTEGRAN CONOCIMIENTO CUALITATIVO Y CUANTITATIVO. Comunicación en congreso. JORNADAS DE TRABAJO SOBRE METODOLOGIAS CUALITATIVAS APLICADAS A LOS SISTEMAS SOCIOECONÓMICOS (2.2000.FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES D. FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES DE SEVILLA. 2000
OPTIMIZACIÓN EN MODELOS QUE INTEGRAN CONOCIMIENTO CUALITATIVO Y CUANTITATIVO. Comunicación en congreso. JORNADAS DE TRABAJO SOBRE METODOLOGIAS CUALITATIVAS APLICADAS A LOS SISTEMAS SOCIOECONÓMICOS (2.2000.FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES D. FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES DE SEVILLA. 2000
Cañete-Valdeón, José Miguel;Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
AN APPLICATION FRAMEWORK FOR THE EXECUTION OF THE UML/OCL MODELS. Comunicación en congreso. JORNADAS DE TRABAJO MENHIR (5.2000.GRANADA). GRANADA. 2000
AN APPLICATION FRAMEWORK FOR THE EXECUTION OF THE UML/OCL MODELS. Comunicación en congreso. JORNADAS DE TRABAJO MENHIR (5.2000.GRANADA). GRANADA. 2000
Galán-Morillo, Francisco José;Cañete-Valdeón, José Miguel:
IMPROVING CONSTRUCTIVE SYNTHESIZERS BY TABULATION TECHNIQUES AND DOMAIN ORDERING. Comunicación en congreso. INTERNATION WORKSHOP ON TABULATION IN PARSING AND DEDUCTION (.2000.VIGO, ESPAÑA). VIGO, ESPAÑA. 2000
IMPROVING CONSTRUCTIVE SYNTHESIZERS BY TABULATION TECHNIQUES AND DOMAIN ORDERING. Comunicación en congreso. INTERNATION WORKSHOP ON TABULATION IN PARSING AND DEDUCTION (.2000.VIGO, ESPAÑA). VIGO, ESPAÑA. 2000
Galán-Morillo, Francisco José;Cañete-Valdeón, José Miguel:
LENGUAJES DE ESPECIFICACIÓN DE SOFTWARE RIGUROSO: APROXIMACIÓN INTEGRADORA Y APROXIMACIÓN POR SUPLEMENTO. Comunicación en congreso. TALLER SOBRE LENGUAJES DE ESPECIFICACIÓN DE SOFTWARE (1.2000.VALLADOLID, ESPAÑA). VALLADOLID, ESPAÑA. 2000
LENGUAJES DE ESPECIFICACIÓN DE SOFTWARE RIGUROSO: APROXIMACIÓN INTEGRADORA Y APROXIMACIÓN POR SUPLEMENTO. Comunicación en congreso. TALLER SOBRE LENGUAJES DE ESPECIFICACIÓN DE SOFTWARE (1.2000.VALLADOLID, ESPAÑA). VALLADOLID, ESPAÑA. 2000
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel;Galán-Morillo, Francisco José:
SEMIQUALITATIVE TEMPORAL PATTERNS IN TIME-SERIES DATABASES. Comunicación en congreso. CURRENT TRENDS IN QUALITATIVE REASONING AND APLICATIONS () (.2000.SEVILLA). . 2000
SEMIQUALITATIVE TEMPORAL PATTERNS IN TIME-SERIES DATABASES. Comunicación en congreso. CURRENT TRENDS IN QUALITATIVE REASONING AND APLICATIONS () (.2000.SEVILLA). . 2000
Galán-Morillo, Francisco José;Cañete-Valdeón, José Miguel;Toro-Bonilla, Miguel:
ON THE FORMAL TRANSLATION OF OBJECT ORIENTED SOFTWARE SPECIFICATION: A BALANCED APPROACH. Comunicación en congreso. INTERNATIONAL CONFERENCE ON INFORMATION SYSTEM DEVELOPMENT (5.1999.FLORIDA, EEUU). FLORIDA, EEUU. 1999
ON THE FORMAL TRANSLATION OF OBJECT ORIENTED SOFTWARE SPECIFICATION: A BALANCED APPROACH. Comunicación en congreso. INTERNATIONAL CONFERENCE ON INFORMATION SYSTEM DEVELOPMENT (5.1999.FLORIDA, EEUU). FLORIDA, EEUU. 1999
Cañete-Valdeón, José Miguel;Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
INTERPRETACIÓN EJECUTABLE DE MODELOS ESTRUCTURALES UML ENRIQUECIDOS CON RESTRICCIONES. Comunicación en congreso. IDEAS (99.1999.COSTA RICA). COSTA RICA. 1999
INTERPRETACIÓN EJECUTABLE DE MODELOS ESTRUCTURALES UML ENRIQUECIDOS CON RESTRICCIONES. Comunicación en congreso. IDEAS (99.1999.COSTA RICA). COSTA RICA. 1999
Galán-Morillo, Francisco José;Cañete-Valdeón, José Miguel;Toro-Bonilla, Miguel:
ON THE FORMAL TRANSLATION OF OBJECT ORIENTED SPECIFICATION: A BALANCED APPROACH. Comunicación en congreso. JORNADAS DE TRABAJO MENHIR (4.1999.BURGOS, ESPAÑA). BURGOS, ESPAÑA. 1999
ON THE FORMAL TRANSLATION OF OBJECT ORIENTED SPECIFICATION: A BALANCED APPROACH. Comunicación en congreso. JORNADAS DE TRABAJO MENHIR (4.1999.BURGOS, ESPAÑA). BURGOS, ESPAÑA. 1999
Cañete-Valdeón, José Miguel;Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
A PROPOSAL FOR THE FORMALIZATION OF THE OCL LANGUAGE BASED ON ALGEBRAIC SPECIFICATIONS. Comunicación en congreso. JORNADAS DE TRABAJO MENHIR (4.1999.BURGOS, ESPAÑA). BURGOS, ESPAÑA. 1999
A PROPOSAL FOR THE FORMALIZATION OF THE OCL LANGUAGE BASED ON ALGEBRAIC SPECIFICATIONS. Comunicación en congreso. JORNADAS DE TRABAJO MENHIR (4.1999.BURGOS, ESPAÑA). BURGOS, ESPAÑA. 1999
Cañete-Valdeón, José Miguel;Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
FILLING THE GAP BETWEEN SPECIFICATION AND IMPLEMENTATION OF SOFTWARE SYSTEMS BY AN EXECUTABLE CODE GENERATOR OF UML/OCL. Comunicación en congreso. INTERNATIONAL CONFERENCE OF SOFTWARE & SYSTEM ENGINEERING AND THEIR APPLICATIONS (.1999.PARÍS, FRANCE). PARÍS, FRANCE. 1999
FILLING THE GAP BETWEEN SPECIFICATION AND IMPLEMENTATION OF SOFTWARE SYSTEMS BY AN EXECUTABLE CODE GENERATOR OF UML/OCL. Comunicación en congreso. INTERNATIONAL CONFERENCE OF SOFTWARE & SYSTEM ENGINEERING AND THEIR APPLICATIONS (.1999.PARÍS, FRANCE). PARÍS, FRANCE. 1999
Galán-Morillo, Francisco José;Cañete-Valdeón, José Miguel;Toro-Bonilla, Miguel:
TOWARDS A CODE GENERATOR FOR UML/OCL SYSTEM SPECIFICATIONS. SYSTEM MODEL AND SYNTHESIS OF STATECHARTS. Comunicación en congreso. JORNADAS DE TRABAJO MENHIR (3.1998.MURCIA). MURCIA. 1998
TOWARDS A CODE GENERATOR FOR UML/OCL SYSTEM SPECIFICATIONS. SYSTEM MODEL AND SYNTHESIS OF STATECHARTS. Comunicación en congreso. JORNADAS DE TRABAJO MENHIR (3.1998.MURCIA). MURCIA. 1998
Cañete-Valdeón, José Miguel;Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
GENERACIÓN AUTOMÁTICA DE CÓDIGO DESDE ESPECIFICACIONES UML/OCL. Comunicación en congreso. JORNADAS DE INGENIRÍA DEL SOFTWARE (3.1998.MURCIA, ESPAÑA). MURCIA, ESPAÑA. 1998
GENERACIÓN AUTOMÁTICA DE CÓDIGO DESDE ESPECIFICACIONES UML/OCL. Comunicación en congreso. JORNADAS DE INGENIRÍA DEL SOFTWARE (3.1998.MURCIA, ESPAÑA). MURCIA, ESPAÑA. 1998
Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
OBJECT ORIENTED SOFTWARE SYSTEMS DEFINED BY LOGICAL CONSTRUCTIVE METHODS. Comunicación en congreso. JOINT CONFERENCE ON DECLARATIVE PROGRAMMING (.1998.CORUÑA, ESPAÑA). CORUÑA, ESPAÑA. 1998
OBJECT ORIENTED SOFTWARE SYSTEMS DEFINED BY LOGICAL CONSTRUCTIVE METHODS. Comunicación en congreso. JOINT CONFERENCE ON DECLARATIVE PROGRAMMING (.1998.CORUÑA, ESPAÑA). CORUÑA, ESPAÑA. 1998
Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
PROTOTIPOS Y ABSTRACCIONES. Comunicación en congreso. JORNADAS EN INGENIERÍA DEL SOFTWARE (2.1997.SAN SEBASTIAN, ESPAÑA). SAN SEBASTIAN, ESPAÑA. 1997
PROTOTIPOS Y ABSTRACCIONES. Comunicación en congreso. JORNADAS EN INGENIERÍA DEL SOFTWARE (2.1997.SAN SEBASTIAN, ESPAÑA). SAN SEBASTIAN, ESPAÑA. 1997
Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
SÍNTESIS DEDUCTIVA DE PROGRAMAS LÓGICOS CON TIPOS. Comunicación en congreso. II JORNADAS DE INFORMATICA. ALUÑECAR, GRANADA, ESPAÑA. 1996
SÍNTESIS DEDUCTIVA DE PROGRAMAS LÓGICOS CON TIPOS. Comunicación en congreso. II JORNADAS DE INFORMATICA. ALUÑECAR, GRANADA, ESPAÑA. 1996
Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
SÍNTESIS CONSTRUCTIVA DE PROGRAMAS LÓGICOS. Comunicación en congreso. JORNADAS DE INFORMATICA (1.1995.PUERTO DE LA CRUZ, TENERIFE). PUERTO DE LA CRUZ, TENERIFE. 1995
SÍNTESIS CONSTRUCTIVA DE PROGRAMAS LÓGICOS. Comunicación en congreso. JORNADAS DE INFORMATICA (1.1995.PUERTO DE LA CRUZ, TENERIFE). PUERTO DE LA CRUZ, TENERIFE. 1995
Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
SÍNTESIS DE PROGRAMAS LÓGICOS: MARCO CONSTRUCTIVO. Comunicación en congreso. JOINT CONFERENCE ON DECLARATIVE PROGRAMMING (GULP-PRODE'95) (.1995.MARINA DI VIETRY, ITALY). MARINA DI VIETRY, ITALY. 1995
SÍNTESIS DE PROGRAMAS LÓGICOS: MARCO CONSTRUCTIVO. Comunicación en congreso. JOINT CONFERENCE ON DECLARATIVE PROGRAMMING (GULP-PRODE'95) (.1995.MARINA DI VIETRY, ITALY). MARINA DI VIETRY, ITALY. 1995
Artículos publicados
Galán-Morillo, Francisco José;Cañete-Valdeón, José Miguel:
Synthesis of positive logic programs for checking a class of definitions with infinite quantification.. Information and Computation. 2016. Vol: 249. Pág. 205-236. 10.1016/j.ic.2016.06.014.
Synthesis of positive logic programs for checking a class of definitions with infinite quantification.. Information and Computation. 2016. Vol: 249. Pág. 205-236. 10.1016/j.ic.2016.06.014.
Ortega-Rodríguez, Francisco Javier;Troyano-Jiménez, José A.;Galán-Morillo, Francisco José;García-Vallejo, Carlos A.;Cruz-Mata, Fermin:
STR: A Graph-based Tagging Technique. International Journal on Artificial Intelligence Tools. 2012. Vol: 8. Núm: 3. 10.1142/S0218213011000437.
STR: A Graph-based Tagging Technique. International Journal on Artificial Intelligence Tools. 2012. Vol: 8. Núm: 3. 10.1142/S0218213011000437.
Cañete-Valdeón, José Miguel;Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
THE INTENTIONAL RELATIONSHIP OF REPRESENTATION BETWEEN THE CONSTRUCTS OF A LANGUAGE AND REALITY. Data and Knowledge Engineering. 2009. Vol: 68. Núm: 2. Pág. 173-191.
THE INTENTIONAL RELATIONSHIP OF REPRESENTATION BETWEEN THE CONSTRUCTS OF A LANGUAGE AND REALITY. Data and Knowledge Engineering. 2009. Vol: 68. Núm: 2. Pág. 173-191.
Troyano-Jiménez, José A.;Carrillo-Montero, Vicente;Enriquez De Salamanca-Ros, Fernando;Galán-Morillo, Francisco José:
NAMED ENTITY RECOGNITION THROUGH CORPUS TRANSFORMATION AND SYSTEM COMBINATION. Lecture Notes in Computer Science. 2004. Vol: 3230. Pág. 255-266.
NAMED ENTITY RECOGNITION THROUGH CORPUS TRANSFORMATION AND SYSTEM COMBINATION. Lecture Notes in Computer Science. 2004. Vol: 3230. Pág. 255-266.
Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
ADAPTING DESIGN TYPES TO COMMUNICATION MEDIA AND MIDDLEWARE ENVIRONMENTS. Lecture Notes in Computer Science. 2002. Pág. 184-192.
ADAPTING DESIGN TYPES TO COMMUNICATION MEDIA AND MIDDLEWARE ENVIRONMENTS. Lecture Notes in Computer Science. 2002. Pág. 184-192.
Galán-Morillo, Francisco José;Cañete-Valdeón, José Miguel;Díaz-Madrigal, Víctor Jesús:
TOWARDS A RIGOROUS AND EFFECTIVE FUNCTIONAL CONTRACT FOR COMPONENTS. Informatica: Journal of Computing and Informatics. 2001. Vol: 24. Núm: 4. Pág. 527-533.
TOWARDS A RIGOROUS AND EFFECTIVE FUNCTIONAL CONTRACT FOR COMPONENTS. Informatica: Journal of Computing and Informatics. 2001. Vol: 24. Núm: 4. Pág. 527-533.
Tesis dirigidas o codirigidas
Cañete-Valdeón, José Miguel:
UNA TEORÍA SOBRE LENGUAJES Y MÉTODOS DE DISEÑO EN INGENIERÍA DEL SOFTWARE. Tesis Doctoral. 2006
UNA TEORÍA SOBRE LENGUAJES Y MÉTODOS DE DISEÑO EN INGENIERÍA DEL SOFTWARE. Tesis Doctoral. 2006
