2009 |
9 | EE | José Miguel Cañete Valdeón,
Francisco J. Galán,
Miguel Toro:
The intentional relationship of representation between the constructs of a language and reality.
Data Knowl. Eng. 68(2): 173-191 (2009) |
2008 |
8 | EE | José Miguel Cañete Valdeón,
Fernando Enríquez,
Javier Ortega,
Ernesto Veláquez:
Clarifying the semantics of value in use cases through Jackson's Problem Frames.
Inf. Process. Lett. 107(6): 221-229 (2008) |
7 | EE | José Miguel Cañete Valdeón:
On the interpretation of mathematical entities in the formalisation of programming and modelling languages.
Mathematical Structures in Computer Science 18(6): 1017-1030 (2008) |
2007 |
6 | EE | José A. Troyano,
Fernando Enríquez,
Fermín Cruz,
José Miguel Cañete Valdeón,
F. Javier Ortega:
Improving the Performance of a Tagger Generator in an Information Extraction Application.
J. UCS 13(9): 1287-1299 (2007) |
2004 |
5 | 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 |
4 | | 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 |
3 | | Francisco José Galán Morillo,
José Miguel Cañete Valdeón:
Towards Rigorous and Effective Type Contracts.
JISBD 2001: 361-374 |
2 | | 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 |
1 | | 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 |