Search the dblp DataBase

Publications of Author

1. J. Nicolas, J. Alcalde, A. Toval, A. Arenas
   Formal Specification of a Scanning Tunnelling Microscope. [Citation Graph (0, 0)][DBLP]
   APPIA-GULP-PRODE, 1997, pp:511-522 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   ER, 2000, pp:281-294 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   HICSS, 2001, pp:- [Conf]
   
4. Joaquín Lasheras, José Ambrosio Toval Álvarez, Joaquín Nicolás, Begoña Moros
   Soporte Automatizado a la reutilización de requisitos. [Citation Graph (0, 0)][DBLP]
   JISBD, 2003, pp:335-346 [Conf]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   JISBD, 2000, pp:103-116 [Conf]
   
6. 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. [Citation Graph (0, 0)][DBLP]
   Journal of Object Technology, 2002, v:1, n:4, pp:119-135 [Journal]
   
7. José Ambrosio Toval Álvarez, Joaquín Nicolás, Begoña Moros, Fernando Garcia
   Requirements Reuse for Improving Information Systems Security: A Practitioner's Approach. [Citation Graph (0, 0)][DBLP]
   Requir. Eng., 2002, v:6, n:4, pp:205-219 [Journal]
   
8. 
   Formal Validation and Verification of Atomic Resolution Microscope Control and Topography. [Citation Graph (, )][DBLP]