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 |