| 2003 |
|---|
| 8 | | 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 |
| 2002 |
|---|
| 7 | EE | Jesús García Molina,
María-José Ortín-Ibáñez,
Begoña Moros,
Joaquín Nicolás:
Transforming the OOram Three-Model Architecture into a UML-based Process.
Journal of Object Technology 1(4): 119-135 (2002) |
| 6 | 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 |
|---|
| 5 | 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 |
| 4 | 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 |
|---|
| 3 | 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 |
| 2 | | 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 |
| 1997 |
|---|
| 1 | | 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 |
