José Ambrosio Toval Álvarez

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 2

Top Topics

Software Engineering

Learning Scenarios

Preliminary Analysis

Game Development

Top Venues

Comput. Methods Programs Biomed.

Publications

Manal Kharbouch, José Alberto García-Berná, Juan Manuel Carrillo de Gea, Joaquín Nicolás Ros, José Ambrosio Toval Álvarez, Ali Idri, José Luis Fernández Alemán
Reviewing Learning Software Engineering Through Serious Game Development. WorldCIST (2) (2023)
Juanjo Pérez-Sánchez, Juan Manuel Carrillo-de-Gea, Sandra Rodríguez Barceló, José Ambrosio Toval Álvarez, José Luis Fernández Alemán, José A. García-Berná, Miroljub Popovic, Ambrosio Toval
Intracranial pressure analysis software: A mapping study and proposal. Comput. Methods Programs Biomed. 209 (2021)
Inma Carrión, José Luis Fernández Alemán, Chrisina Jayne, Dominic Palmer-Brown, José Ambrosio Toval Álvarez, Juan Manuel Carrillo-de-Gea
Evaluation and Neuronal Network-Based Classification of the PHRs Privacy Policies. HICSS (2012)
José Luis Fernández Alemán, Chrisina Jayne, Ana Belén Sánchez García, Juan Manuel Carrillo-de-Gea, José Ambrosio Toval Álvarez
Knowledge Clustering Using a Neural Network in a Course on Medical-Surgical Nursing. EANN (2012)
Juan Manuel Carrillo-de-Gea, Joaquín Nicolás, José Luis Fernández Alemán, José Ambrosio Toval Álvarez, Christof Ebert, Aurora Vizcaíno
Requirements Engineering Tools. IEEE Softw. 28 (4) (2011)
Carlos Blanco, Joaquín Lasheras, Eduardo Fernández-Medina, Rafael Valencia-García, José Ambrosio Toval Álvarez
Basis for an integrated security ontology according to a systematic review of existing proposals. Comput. Stand. Interfaces 33 (4) (2011)
Inma Carrión, José Luis Fernández Alemán, José Ambrosio Toval Álvarez
Usable Privacy and Security in Personal Health Records. INTERACT (4) (2011)
Miguel A. Martínez, Joaquín Lasheras, Eduardo Fernández-Medina, José Ambrosio Toval Álvarez, Mario Piattini
A Personal Data Audit Method through Requirements Engineering. Comput. Stand. Interfaces 32 (4) (2010)
Fernando Molina, Jesús Pardillo, Cristina Cachero, José Ambrosio Toval Álvarez
An MDE modeling framework for measurable goal-oriented requirements. Int. J. Intell. Syst. 25 (8) (2010)
Francisco J. Lucas, Fernando Molina, José Ambrosio Toval Álvarez
A systematic review of UML model consistency management. Inf. Softw. Technol. 51 (12) (2009)
Fernando Molina, José Ambrosio Toval Álvarez
Integrating usability requirements that can be evaluated in design time into Model Driven Engineering of Web Information Systems. Adv. Eng. Softw. 40 (12) (2009)
Óscar Sánchez Ramón, Fernando Molina, Jesús García Molina, José Ambrosio Toval Álvarez
A Model Driven Approach for Generating Code from Security Requirements. WOSIS (2009)
Óscar Sánchez Ramón, Fernando Molina, Jesús García Molina, José Ambrosio Toval Álvarez
ModelSec: A Generative Architecture for Model-Driven Security. J. Univers. Comput. Sci. 15 (15) (2009)
Astrid Duque, Joaquín Lasheras, José Ambrosio Toval Álvarez
ECAPRIS: Metodología ágil de medición de calidad y productividad en PyMEs . JISBD (2009)
Joaquín Nicolás, Joaquín Lasheras, José Ambrosio Toval Álvarez, Francisco J. Ortiz, Bárbara Álvarez
An integrated domain analysis approach for teleoperated systems. Requir. Eng. 14 (1) (2009)
Joaquín Nicolás, José Ambrosio Toval Álvarez
On the generation of requirements specifications from software engineering models: A systematic literature review. Inf. Softw. Technol. 51 (9) (2009)
Alejandro López, Joaquín Nicolás, José Ambrosio Toval Álvarez
Risks and Safeguards for the Requirements Engineering Process in Global Software Development. ICGSE (2009)
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)
Fernando Molina, Jesús Pardillo, Cristina Cachero, José Ambrosio Toval Álvarez
Towards a Requirements-Aware Common Web Engineering Metamodel. LA-WEB (2008)
Miguel A. Martínez, José Ambrosio Toval Álvarez
COTSRE: A COmponenTs Selection Method Based on Requirements Engineering. ICCBSS (2008)
Miguel A. Martínez, José Ambrosio Toval Álvarez, Manuel Campos
Requirements Engineering to Audit Privacy Issues in Medical and Health Software. HEALTHINF (2) (2008)
Begoña Moros, Cristina Vicente-Chicote, José Ambrosio Toval Álvarez
: Modeling Variability to Enable Requirements Reuse. ER (2008)
Francisco J. Lucas, José Ambrosio Toval Álvarez
Model Transformations powered by Rewriting Logic. CAiSE Forum (2008)
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)
Fernando Molina, Cristina Cachero, Jesús Pardillo, José Ambrosio Toval Álvarez
Metamodelo y Perfil UML para el Modelado Orientado a Metas de Requisitos Medibles. JISBD (2008)
Fernando Molina Molina, Jesús Pardillo, José Ambrosio Toval Álvarez
Modelling Web-Based Systems Requirements Using WRM. WISE Workshops (2008)
Jesús Pardillo, Fernando Molina, Cristina Cachero, José Ambrosio Toval Álvarez
A UML Profile for Modelling Measurable Requirements. ER Workshops (2008)
Cristina Vicente-Chicote, Begoña Moros, José Ambrosio Toval Álvarez
REMM-Studio: an Integrated Model-Driven Environment for Requirements Specification, Validation and Formatting. J. Object Technol. 6 (9) (2007)
Begoña Moros, Cristina Vicente-Chicote, José Ambrosio Toval Álvarez
A Model-Driven Engineering Approach to Requirements Engineering - How These Disciplines May Benefit Each Other. ICSOFT (SE) (2007)
Fernando Molina Molina, José Ambrosio Toval Álvarez
A Generic Approach to Improve Navigational Model Usability Based Upon Requirements and Metrics. WISE Workshops (2007)
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)
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)
Francisco J. Lucas, Fernando Molina, José Ambrosio Toval Álvarez
Una Propuesta de V&V en el Marco de MDA. DSDM (2005)
Francisco Martínez, José Ambrosio Toval Álvarez
A Precise Approach for the Analysis of the UML Models Consistency. ER (Workshops) (2005)
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)
Juan Hernández Núñez, Ernesto Pimentel, José Ambrosio Toval Álvarez
Report on the ninth conference on Software Engineering and Databases (JISBD 2004). SIGMOD Rec. 34 (2) (2005)
José Ambrosio Toval Álvarez
Workshops at the UML 2004 Conference. UML (2004)
José Ambrosio Toval Álvarez, Víctor Requena, José Luis Fernández Alemán
Emerging OCL tools. Softw. Syst. Model. 2 (4) (2003)
Joaquín Lasheras, José Ambrosio Toval Álvarez, Joaquín Nicolás, Begoña Moros
Soporte Automatizado a la reutilización de requisitos. JISBD (2003)
José Ambrosio Toval Álvarez, Alfonso Olmos, Mario Piattini
Legal Requirements Reuse: A Critical Success Factor for Requirements Quality and Personal Data Protection. RE (2002)
João Araújo, Jonathan Whittle, José Ambrosio Toval Álvarez, Robert B. France
Integration and Transformation of UML Models. ECOOP Workshops (2002)
José Ambrosio Toval Álvarez, Joaquín Nicolás, Begoña Moros, Fernando García
Requirements Reuse for Improving Information Systems Security: A Practitioner's Approach. Requir. Eng. 6 (4) (2002)
José Saez, José Ambrosio Toval Álvarez, João Araújo
Una infraestructura común para la animación de modelos UML. JISBD (2002)
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)
Joaquín Nicolás, José Ambrosio Toval Álvarez, Aurelio Arenas, Juan Alcalde
Formal Validation and Verification of Atomic Resolution Microscope Control and Topography. Cybern. Syst. 32 (8) (2001)
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)
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)
José Ambrosio Toval Álvarez, José Luis Fernández Alemán
Formally Modeling UML and its Evolution: A Holistic Approach. FMOODS (2000)
José Luis Fernández Alemán, José Ambrosio Toval Álvarez
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools. ISSRE (2000)
José Luis Fernández Alemán, José Ambrosio Toval Álvarez, J. R. Hoyos Barceló
Rigorously Transforming UML Class Diagrams. JISBD (2000)
José Luis Fernández Alemán, José Ambrosio Toval Álvarez
Modelado formal y ejecutabilidad de diagramas de clases de UML. JISBD (1999)
José Antonio Rodero Rodero, Mario Piattini, José Ambrosio Toval Álvarez
The Audit of the Data Warehouse Framework. DMDW (1999)
Joaquín Nicolás, Juan Alcalde, José Ambrosio Toval Álvarez, Aurelio Arenas
Formal Specification of a Scanning Tunnelling Microscope. APPIA-GULP-PRODE (1997)
José Ambrosio Toval Álvarez, Isidro Ramos, Oscar Pastor
Prototyping Object Oriented Specifications in an Algebraic Environment. DEXA (1994)
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)