The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

José Ambrosio Toval Álvarez: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. B. Grima, A. Toval
    Una formalizacion algebraica de la notacion "objectcharts": validacion y verificacion de especificaciones orientadas a objetos de sistemas reactivos. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (2), 1994, pp:176-190 [Conf]
  2. 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]
  3. José Ambrosio Toval Álvarez, Isidro Ramos, Oscar Pastor
    Prototyping Object Oriented Specifications in an Algebraic Environment. [Citation Graph (0, 0)][DBLP]
    DEXA, 1994, pp:310-319 [Conf]
  4. José Antonio Rodero Rodero, Mario Piattini, José Ambrosio Toval Álvarez
    The Audit of the Data Warehouse Framework. [Citation Graph (0, 0)][DBLP]
    DMDW, 1999, pp:14- [Conf]
  5. João Araújo, Jonathan Whittle, José Ambrosio Toval Álvarez, Robert B. France
    Integration and Transformation of UML Models. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2002, pp:184-191 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    ER (Workshops), 2005, pp:12-22 [Conf]
  7. Francisco Martínez, José Ambrosio Toval Álvarez
    A Precise Approach for the Analysis of the UML Models Consistency. [Citation Graph (0, 0)][DBLP]
    ER (Workshops), 2005, pp:74-84 [Conf]
  8. 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]
  9. José Ambrosio Toval Álvarez, José Luis Fernández Alemán
    Formally Modeling UML and its Evolution: A Holistic Approach. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:183-0 [Conf]
  10. 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]
  11. Francisco Javier Lucas Martínez, Fernando Molina Molina, José Ambrosio Toval Álvarez, Valeria de Castro, Paloma Cáceres, Esperanza Marcos
    Precise WIS development. [Citation Graph (0, 0)][DBLP]
    ICWE, 2006, pp:71-76 [Conf]
  12. José Luis Fernández Alemán, José Ambrosio Toval Álvarez
    Can Intuition Become Rigorous? Foundations for UML Model Verification Tools. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2000, pp:344-355 [Conf]
  13. José Luis Fernández Alemán, José Ambrosio Toval Álvarez
    Modelado formal y ejecutabilidad de diagramas de clases de UML. [Citation Graph (0, 0)][DBLP]
    JISBD, 1999, pp:283-294 [Conf]
  14. José Luis Fernández Alemán, José Ambrosio Toval Álvarez, J. R. Hoyos Barceló
    Rigorously Transforming UML Class Diagrams. [Citation Graph (0, 0)][DBLP]
    JISBD, 2000, pp:265-282 [Conf]
  15. 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]
  16. 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]
  17. J. Saez, José Ambrosio Toval Álvarez, João Araújo
    Una infraestructura común para la animación de modelos UML. [Citation Graph (0, 0)][DBLP]
    JISBD, 2002, pp:91-102 [Conf]
  18. José Ambrosio Toval Álvarez, Alfonso Olmos, Mario Piattini
    Legal Requirements Reuse: A Critical Success Factor for Requirements Quality and Personal Data Protection. [Citation Graph (0, 0)][DBLP]
    RE, 2002, pp:95-103 [Conf]
  19. Miguel A. Martínez, Joaquín Lasheras, José Ambrosio Toval Álvarez, Mario Piattini
    An Audit Method of Personal Data Based on Requirements Engineering. [Citation Graph (0, 0)][DBLP]
    WOSIS, 2006, pp:217-231 [Conf]
  20. José Ambrosio Toval Álvarez
    Workshops at the UML 2004 Conference. [Citation Graph (0, 0)][DBLP]
    UML, 2004, pp:440-448 [Conf]
  21. 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]
  22. Juan Hernández, Ernesto Pimentel, José Ambrosio Toval Álvarez
    Report on the ninth conference on Software Engineering and Databases (JISBD 2004). [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 2005, v:34, n:2, pp:59-61 [Journal]
  23. José Ambrosio Toval Álvarez, Víctor Requena, José Luis Fernández
    Emerging OCL tools. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2003, v:2, n:4, pp:248-261 [Journal]
  24. Fernando Molina Molina, José Ambrosio Toval Álvarez
    A Generic Approach to Improve Navigational Model Usability Based Upon Requirements and Metrics. [Citation Graph (0, 0)][DBLP]
    WISE Workshops, 2007, pp:511-516 [Conf]

  25. A Systematic Review and Comparison of Security Ontologies. [Citation Graph (, )][DBLP]


  26. Model Transformations powered by Rewriting Logic. [Citation Graph (, )][DBLP]


  27. REMM-Studio+: Modeling Variability to Enable Requirements Reuse. [Citation Graph (, )][DBLP]


  28. A UML Profile for Modelling Measurable Requirements. [Citation Graph (, )][DBLP]


  29. COTSRE: A COmponenTs Selection Method Based on Requirements Engineering. [Citation Graph (, )][DBLP]


  30. A Model-Driven Engineering Approach to Requirements Engineering - How These Disciplines May Benefit Each Other. [Citation Graph (, )][DBLP]


  31. ECAPRIS: Metodología ágil de medición de calidad y productividad en PyMEs . [Citation Graph (, )][DBLP]


  32. Towards a Requirements-Aware Common Web Engineering Metamodel. [Citation Graph (, )][DBLP]


  33. An Ontology-Based Framework for Modelling Security Requirements. [Citation Graph (, )][DBLP]


  34. Modelling Web-Based Systems Requirements Using WRM. [Citation Graph (, )][DBLP]


  35. Requirements Engineering to Audit Privacy Issues in Medical and Health Software. [Citation Graph (, )][DBLP]


  36. Una Propuesta de V&V en el Marco de MDA. [Citation Graph (, )][DBLP]


  37. Formal Validation and Verification of Atomic Resolution Microscope Control and Topography. [Citation Graph (, )][DBLP]


Search in 0.033secs, Finished in 0.034secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002