 | 2012 |
|---|
| 17 |       | Inma Carrión,
José Luis Fernández Alemán,
Chrisina Jayne,
Dominic Palmer-Brown,
José Ambrosio Toval Álvarez,
Juan Manuel Carrillo-de-Gea:
Evaluation and Neuronal Network-Based Classification of the PHRs Privacy Policies.
HICSS 2012: 2840-2849 |
| 2011 |
|---|
| 16 | | Inma Carrión,
José Luis Fernández Alemán,
José Ambrosio Toval Álvarez:
Usable Privacy and Security in Personal Health Records.
INTERACT (4) 2011: 36-43 |
| 15 | | Juan Manuel Carrillo-de-Gea,
Joaquín Nicolás,
José Luis Fernández Alemán,
José Ambrosio Toval Álvarez,
Christof Ebert,
Aurora Vizcaíno:
Requirements Engineering Tools.
IEEE Software 28(4): 86-91 (2011) |
| 14 | | José Luis Fernández Alemán,
Dominic Palmer-Brown,
Chrisina Jayne:
Effects of Response-Driven Feedback in Computer Science Learning.
IEEE Trans. Education 54(3): 501-508 (2011) |
| 13 | | José Luis Fernández Alemán:
Automated Assessment in a Programming Tools Course.
IEEE Trans. Education 54(4): 576-581 (2011) |
| 2010 |
|---|
| 12 | | José Luis Fernández Alemán,
Dominic Palmer-Brown,
Chrisina Draganova:
Evaluating Student Response Driven Feedback in a Programming Course.
ICALT 2010: 279-283 |
| 11 | | José Luis Fernández Alemán,
Youssef Oufaska:
SAMtool, a tool for deducing and implementing loop patterns.
ITiCSE 2010: 68-72 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page