| 2008 |
|---|
| 39 | EE | Carlos Blanco,
Joaquín Lasheras,
Rafael Valencia-García,
Eduardo Fernández-Medina,
José Ambrosio Toval Álvarez,
Mario Piattini:
A Systematic Review and Comparison of Security Ontologies.
ARES 2008: 813-820 |
| 38 | EE | Francisco J. Lucas,
José Ambrosio Toval Álvarez:
Model Transformations powered by Rewriting Logic.
CAiSE Forum 2008: 41-44 |
| 37 | EE | Begoña Moros,
Cristina Vicente-Chicote,
José Ambrosio Toval Álvarez:
REMM-Studio+: Modeling Variability to Enable Requirements Reuse.
ER 2008: 530-531 |
| 36 | EE | Jesús Pardillo,
Fernando Molina,
Cristina Cachero,
José Ambrosio Toval Álvarez:
A UML Profile for Modelling Measurable Requirements.
ER Workshops 2008: 123-132 |
| 35 | | Miguel A. Martínez,
José Ambrosio Toval Álvarez,
Manuel Campos:
Requirements Engineering to Audit Privacy Issues in Medical and Health Software.
HEALTHINF (2) 2008: 74-81 |
| 34 | EE | Miguel A. Martínez,
José Ambrosio Toval Álvarez:
COTSRE: A COmponenTs Selection Method Based on Requirements Engineering.
ICCBSS 2008: 220-223 |
| 33 | EE | Fernando Molina,
Jesús Pardillo,
Cristina Cachero,
José Ambrosio Toval Álvarez:
Towards a Requirements-Aware Common Web Engineering Metamodel.
LA-WEB 2008: 75-82 |
| 32 | EE | Fernando Molina Molina,
Jesús Pardillo,
José Ambrosio Toval Álvarez:
Modelling Web-Based Systems Requirements Using WRM.
WISE Workshops 2008: 122-131 |
| 31 | | Joaquín Lasheras,
Rafael Valencia-García,
Jesualdo Tomás Fernández-Breis,
José Ambrosio Toval Álvarez:
An Ontology-Based Framework for Modelling Security Requirements.
WOSIS 2008: 78-88 |
| 2007 |
|---|
| 30 | EE | Fernando Molina Molina,
José Ambrosio Toval Álvarez:
A Generic Approach to Improve Navigational Model Usability Based Upon Requirements and Metrics.
WISE Workshops 2007: 511-516 |
| 29 | EE | Cristina Vicente-Chicote,
Begoña Moros,
José Ambrosio Toval Álvarez:
REMM-Studio: an Integrated Model-Driven Environment for Requirements Specification, Validation and Formatting.
Journal of Object Technology 6(9): 437-454 (2007) |
| 2006 |
|---|
| 28 | EE | Francisco Javier Lucas Martínez,
Fernando Molina Molina,
José Ambrosio Toval Álvarez,
Valeria de Castro,
Paloma Cáceres,
Esperanza Marcos:
Precise WIS development.
ICWE 2006: 71-76 |
| 27 | | Miguel A. Martínez,
Joaquín Lasheras,
José Ambrosio Toval Álvarez,
Mario Piattini:
An Audit Method of Personal Data Based on Requirements Engineering.
WOSIS 2006: 217-231 |
| 2005 |
|---|
| 26 | | Nuno Jardim Nunes,
Bran Selic,
Alberto Rodrigues da Silva,
José Ambrosio Toval Álvarez:
UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers
Springer 2005 |
| 25 | | José Ambrosio Toval Álvarez,
Juan Hernández Núñez:
Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), September 14-16, 2005, Granada, Spain
Thomson 2005 |
| 24 | EE | Francisco J. Lucas,
Fernando Molina,
José Ambrosio Toval Álvarez:
Una Propuesta de V&V en el Marco de MDA.
DSDM 2005 |
| 23 | EE | José A. Cruz-Lemus,
Marcela Genero,
Mario Piattini,
José Ambrosio Toval Álvarez:
An Empirical Study of the Nesting Level of Composite States Within UML Statechart Diagrams.
ER (Workshops) 2005: 12-22 |
| 22 | EE | Francisco Martínez,
José Ambrosio Toval Álvarez:
A Precise Approach for the Analysis of the UML Models Consistency.
ER (Workshops) 2005: 74-84 |
| 21 | EE | Juan Hernández,
Ernesto Pimentel,
José Ambrosio Toval Álvarez:
Report on the ninth conference on Software Engineering and Databases (JISBD 2004).
SIGMOD Record 34(2): 59-61 (2005) |
| 2004 |
|---|
| 20 | EE | José Ambrosio Toval Álvarez:
Workshops at the UML 2004 Conference.
UML 2004: 440-448 |
| 2003 |
|---|
| 19 | | Joaquín Lasheras,
José Ambrosio Toval Álvarez,
Joaquín Nicolás,
Begoña Moros:
Soporte Automatizado a la reutilización de requisitos.
JISBD 2003: 335-346 |
| 18 | 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) |
| 2002 |
|---|
| 17 | EE | João Araújo,
Jonathan Whittle,
José Ambrosio Toval Álvarez,
Robert B. France:
Integration and Transformation of UML Models.
ECOOP Workshops 2002: 184-191 |
| 16 | | J. Saez,
José Ambrosio Toval Álvarez,
João Araújo:
Una infraestructura común para la animación de modelos UML.
JISBD 2002: 91-102 |
| 15 | EE | José Ambrosio Toval Álvarez,
Alfonso Olmos,
Mario Piattini:
Legal Requirements Reuse: A Critical Success Factor for Requirements Quality and Personal Data Protection.
RE 2002: 95-103 |
| 14 | EE | José Ambrosio Toval Álvarez,
Joaquín Nicolás,
Begoña Moros,
Fernando Garcia:
Requirements Reuse for Improving Information Systems Security: A Practitioner's Approach.
Requir. Eng. 6(4): 205-219 (2002) |
| 2001 |
|---|
| 13 | EE | Jesús García Molina,
María-José Ortín-Ibáñez,
Begoña Moros,
Joaquín Nicolás,
José Ambrosio Toval Álvarez:
Transforming the OOram Three-Model Architecture into a UML-based Process.
HICSS 2001 |
| 12 | | 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 |
| 11 | EE | Joaquín Nicolás,
José Ambrosio Toval Álvarez,
Aurelio Arenas,
Juan Alcalde:
Formal Validation and Verification of Atomic Resolution Microscope Control and Topography.
Cybernetics and Systems 32(8): 851-870 (2001) |
| 2000 |
|---|
| 10 | EE | Jesús García Molina,
María-José Ortín-Ibáñez,
Begoña Moros,
Joaquín Nicolás,
José Ambrosio Toval Álvarez:
Toward Use Case and Conceptual Models through Business Modeling.
ER 2000: 281-294 |
| 9 | | José Ambrosio Toval Álvarez,
José Luis Fernández Alemán:
Formally Modeling UML and its Evolution: A Holistic Approach.
FMOODS 2000: 183- |
| 8 | 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 |
| 7 | | Jesús García Molina,
María-José Ortín-Ibáñez,
Begoña Moros,
Joaquín Nicolás,
José Ambrosio Toval Álvarez:
De los Procesos del Negocio a los Casos de Uso.
JISBD 2000: 103-116 |
| 6 | | José Luis Fernández Alemán,
José Ambrosio Toval Álvarez,
J. R. Hoyos Barceló:
Rigorously Transforming UML Class Diagrams.
JISBD 2000: 265-282 |
| 1999 |
|---|
| 5 | EE | José Antonio Rodero Rodero,
Mario Piattini,
José Ambrosio Toval Álvarez:
The Audit of the Data Warehouse Framework.
DMDW 1999: 14 |
| 4 | | José Luis Fernández Alemán,
José Ambrosio Toval Álvarez:
Modelado formal y ejecutabilidad de diagramas de clases de UML.
JISBD 1999: 283-294 |
| 1997 |
|---|
| 3 | | Joaquín Nicolás,
Juan Alcalde,
José Ambrosio Toval Álvarez,
Aurelio Arenas:
Formal Specification of a Scanning Tunnelling Microscope.
APPIA-GULP-PRODE 1997: 511-522 |
| 1994 |
|---|
| 2 | | José Ambrosio Toval Álvarez,
Isidro Ramos,
Oscar Pastor:
Prototyping Object Oriented Specifications in an Algebraic Environment.
DEXA 1994: 310-319 |
| 1 | | B. Grima,
José Ambrosio Toval Álvarez:
Una formalizacion algebraica de la notacion "objectcharts": validacion y verificacion de especificaciones orientadas a objetos de sistemas reactivos.
GULP-PRODE (2) 1994: 176-190 |
