 | 2005 |
|---|
| 9 |       | 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 | | 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 | | 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 |
