2005 |
9 | EE | José M. Cañete,
Francisco José Galán Morillo:
Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving.
FASE 2005: 205-219 |
2004 |
8 | EE | José A. Troyano,
Vicente Carrillo,
Fernando Enríquez,
Francisco José Galán Morillo:
Named Entity Recognition Through Corpus Transformation and System Combination.
EsTAL 2004: 255-266 |
7 | EE | Francisco José Galán Morillo,
José Miguel Cañete Valdeón:
A Method for Compiling and Executing Expressive Assertions.
IFM 2004: 521-540 |
2003 |
6 | | Francisco José Galán Morillo,
José Miguel Cañete Valdeón,
Víctor J. Díaz Madrigal:
Constructing Recursions by Similarity.
J. Braz. Comp. Soc. 9(1): 17-26 (2003) |
2001 |
5 | | Francisco José Galán Morillo,
José Miguel Cañete Valdeón:
Towards Rigorous and Effective Type Contracts.
JISBD 2001: 361-374 |
4 | | Francisco José Galán Morillo,
V. Diaz,
José Miguel Cañete Valdeón:
Towards a rigorous and effective functional contract for components.
Informatica (Slovenia) 25(4): (2001) |
2000 |
3 | | José Miguel Cañete Valdeón,
Francisco José Galán Morillo,
Miguel Toro:
Primeros Pasos hacia un Compilador de UML/OCL.
JISBD 2000: 27-32 |
1998 |
2 | | Francisco José Galán Morillo,
M. Toro Bonilla:
Object Oriented Software Systems Defined by Constructive Logical Methods.
APPIA-GULP-PRODE 1998: 125-136 |
1995 |
1 | | Francisco José Galán Morillo,
M. Toro Bonilla:
Sintesis de Programas Logicos: Marco Constructivo.
GULP-PRODE 1995: 497-510 |