| |
| 2003 | ||
|---|---|---|
| 6 | EE | 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 | EE | 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 | |
| 1 | José Ambrosio Toval Álvarez | [1] [2] [3] [4] [5] [6] |
| 2 | J. R. Hoyos Barceló | [2] |
| 3 | Víctor Requena | [6] |