 | 2009 |
|---|
| 10 |       | Francisco J. Montoya-Dato,
José Luis Fernández Alemán,
Ginés García-Mateos:
An Experience on Ada Programming Using On-Line Judging.
Ada-Europe 2009: 75-89 |
| 9 | | José Luis Fernández Alemán:
Deducing Loop Patterns in CS1: A Comparative Study.
ICALT 2009: 247-248 |
| 8 | | Ginés García-Mateos,
José Luis Fernández Alemán:
A course on algorithms and data structures using on-line judging.
ITiCSE 2009: 45-49 |
| 7 | | Ginés García-Mateos,
José Luis Fernández Alemán:
Make Learning Fun with Programming Contests.
T. Edutainment 2: 246-257 (2009) |
| 2003 |
|---|
| 6 | | José Ambrosio Toval Álvarez,
Víctor Requena,
José Luis Fernández Alemán:
Emerging OCL tools.
Software and System Modeling 2(4): 248-261 (2003) |
| 2001 |
|---|
| 5 |  | José Luis Fernández Alemán,
José Ambrosio Toval Álvarez:
Seamless Formalizing the UML Semantics through Metamodels.
Unified Modeling Language: Systems Analysis, Design and Development Issues 2001: 224-248 |
| 2000 |
|---|
| 4 | | José Ambrosio Toval Álvarez,
José Luis Fernández Alemán:
Formally Modeling UML and its Evolution: A Holistic Approach.
FMOODS 2000: 183- |
| 3 | | José Luis Fernández Alemán,
José Ambrosio Toval Álvarez:
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools.
ISSRE 2000: 344-355 |
| 2 | | José Luis Fernández Alemán,
José Ambrosio Toval Álvarez,
J. R. Hoyos Barceló:
Rigorously Transforming UML Class Diagrams.
JISBD 2000: 265-282 |
| 1999 |
|---|
| 1 | | José Luis Fernández Alemán,
José Ambrosio Toval Álvarez:
Modelado formal y ejecutabilidad de diagramas de clases de UML.
JISBD 1999: 283-294 |
