José Ambrosio Toval Álvarez

59 papers A 4B 2C 3Journal 15Unranked 31
YearRankTypeTitle / Venue / Authors
2023 — conf
Reviewing Learning Software Engineering Through Serious Game Development.
WorldCIST (2)
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
2021 J jnl
Intracranial pressure analysis software: A mapping study and proposal.
Comput. Methods Programs Biomed.
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
2013 — ch.
Reusing Requirements in Global Software Engineering.
Managing Requirements Knowledge
Juan Manuel Carrillo de Gea, Joaquín Nicolás, José Luis Fernández-Alemán, José Ambrosio Toval Álvarez, Aurora Vizcaíno, Christof Ebert
2012 — conf
Evaluation and Neuronal Network-Based Classification of the PHRs Privacy Policies.
HICSS
Inma Carrión, José Luis Fernández-Alemán, Chrisina Jayne, Dominic Palmer-Brown, José Ambrosio Toval Álvarez, Juan Manuel Carrillo de Gea
2012 C conf
Knowledge Clustering Using a Neural Network in a Course on Medical-Surgical Nursing.
EANN
José Luis Fernández-Alemán, Chrisina Jayne, Ana Belén Sánchez García, Juan Manuel Carrillo de Gea, José Ambrosio Toval Álvarez
2011 J jnl
Basis for an integrated security ontology according to a systematic review of existing proposals.
Comput. Stand. Interfaces
Carlos Blanco, Joaquín Lasheras, Eduardo Fernández-Medina, Rafael Valencia-García, José Ambrosio Toval Álvarez
2011 J jnl
Requirements Engineering Tools.
IEEE Softw.
Juan Manuel Carrillo de Gea, Joaquín Nicolás, José Luis Fernández-Alemán, José Ambrosio Toval Álvarez, Christof Ebert, Aurora Vizcaíno
2011 — conf
Usable Privacy and Security in Personal Health Records.
INTERACT (4)
Inma Carrión, José Luis Fernández-Alemán, José Ambrosio Toval Álvarez
2010 J jnl
A Personal Data Audit Method through Requirements Engineering.
Comput. Stand. Interfaces
Miguel A. Martínez, Joaquín Lasheras, Eduardo Fernández-Medina, José Ambrosio Toval Álvarez, Mario Piattini
2010 J jnl
An MDE modeling framework for measurable goal-oriented requirements.
Int. J. Intell. Syst.
Fernando Molina, Jesús Pardillo, Cristina Cachero, José Ambrosio Toval Álvarez
2009 — conf
A Model Driven Approach for Generating Code from Security Requirements.
WOSIS
Óscar Sánchez Ramón, Fernando Molina, Jesús García Molina, José Ambrosio Toval Álvarez
2009 J jnl
A systematic review of UML model consistency management.
Inf. Softw. Technol.
Francisco J. Lucas, Fernando Molina, José Ambrosio Toval Álvarez
2009 J jnl
An integrated domain analysis approach for teleoperated systems.
Requir. Eng.
Joaquín Nicolás, Joaquín Lasheras, José Ambrosio Toval Álvarez, Francisco J. Ortiz, Bárbara Álvarez
2009 — conf
ECAPRIS: Metodología ágil de medición de calidad y productividad en PyMEs .
JISBD
Astrid Duque, Joaquín Lasheras, José Ambrosio Toval Álvarez
2009 J jnl
Integrating usability requirements that can be evaluated in design time into Model Driven Engineering of Web Information Systems.
Adv. Eng. Softw.
Fernando Molina, José Ambrosio Toval Álvarez
2009 J jnl
ModelSec: A Generative Architecture for Model-Driven Security.
J. Univers. Comput. Sci.
Óscar Sánchez Ramón, Fernando Molina, Jesús García Molina, José Ambrosio Toval Álvarez
2009 J jnl
On the generation of requirements specifications from software engineering models: A systematic literature review.
Inf. Softw. Technol.
Joaquín Nicolás, José Ambrosio Toval Álvarez
2009 C conf
Risks and Safeguards for the Requirements Engineering Process in Global Software Development.
ICGSE
Alejandro López, Joaquín Nicolás, José Ambrosio Toval Álvarez
2008 B conf
A Systematic Review and Comparison of Security Ontologies.
ARES
Carlos Blanco, Joaquín Lasheras, Rafael Valencia-García, Eduardo Fernández-Medina, José Ambrosio Toval Álvarez, Mario Piattini
2008 — conf
A UML Profile for Modelling Measurable Requirements.
ER Workshops
Jesús Pardillo, Fernando Molina, Cristina Cachero, José Ambrosio Toval Álvarez
2008 — conf
An Ontology-Based Framework for Modelling Security Requirements.
WOSIS
Joaquín Lasheras, Rafael Valencia-García, Jesualdo Tomás Fernández-Breis, José Ambrosio Toval Álvarez
2008 — conf
COTSRE: A COmponenTs Selection Method Based on Requirements Engineering.
ICCBSS
Miguel A. Martínez, José Ambrosio Toval Álvarez
2008 — conf
Metamodelo y Perfil UML para el Modelado Orientado a Metas de Requisitos Medibles.
JISBD
Fernando Molina, Cristina Cachero, Jesús Pardillo, José Ambrosio Toval Álvarez
2008 — conf
Model Transformations powered by Rewriting Logic.
CAiSE Forum
Francisco J. Lucas, José Ambrosio Toval Álvarez
2008 — conf
Modelling Web-Based Systems Requirements Using WRM.
WISE Workshops
Fernando Molina Molina, Jesús Pardillo, José Ambrosio Toval Álvarez
2008 A conf
REMM-Studio
ER
Begoña Moros, Cristina Vicente-Chicote, José Ambrosio Toval Álvarez
2008 — conf
Requirements Engineering to Audit Privacy Issues in Medical and Health Software.
HEALTHINF (2)
Miguel A. Martínez, José Ambrosio Toval Álvarez, Manuel Campos
2008 — conf
Towards a Requirements-Aware Common Web Engineering Metamodel.
LA-WEB
Fernando Molina, Jesús Pardillo, Cristina Cachero, José Ambrosio Toval Álvarez
2007 — conf
A Generic Approach to Improve Navigational Model Usability Based Upon Requirements and Metrics.
WISE Workshops
Fernando Molina Molina, José Ambrosio Toval Álvarez
2007 — conf
A Model-Driven Engineering Approach to Requirements Engineering - How These Disciplines May Benefit Each Other.
ICSOFT (SE)
Begoña Moros, Cristina Vicente-Chicote, José Ambrosio Toval Álvarez
2007 J jnl
REMM-Studio: an Integrated Model-Driven Environment for Requirements Specification, Validation and Formatting.
J. Object Technol.
Cristina Vicente-Chicote, Begoña Moros, José Ambrosio Toval Álvarez
2006 — conf
An Audit Method of Personal Data Based on Requirements Engineering.
WOSIS
Miguel A. Martínez, Joaquín Lasheras, José Ambrosio Toval Álvarez, Mario Piattini
2006 B conf
Precise WIS development.
ICWE
Francisco Javier Lucas Martínez, Fernando Molina Molina, José Ambrosio Toval Álvarez, Valeria de Castro, Paloma Cáceres, Esperanza Marcos
2005 — conf
A Precise Approach for the Analysis of the UML Models Consistency.
ER (Workshops)
Francisco Martínez, José Ambrosio Toval Álvarez
2005 — ed.
Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), September 14-16, 2005, Granada, Spain
JISBD
José Ambrosio Toval Álvarez, Juan Hernández Núñez
2005 — conf
An Empirical Study of the Nesting Level of Composite States Within UML Statechart Diagrams.
ER (Workshops)
José A. Cruz-Lemus, Marcela Genero, Mario Piattini, José Ambrosio Toval Álvarez
2005 J jnl
Report on the ninth conference on Software Engineering and Databases (JISBD 2004).
SIGMOD Rec.
Juan Hernández Núñez, Ernesto Pimentel, José Ambrosio Toval Álvarez
2005 — ed.
UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers
UML Satellite Activities
Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, José Ambrosio Toval Álvarez
2005 — conf
Una Propuesta de V&V en el Marco de MDA.
DSDM
Francisco J. Lucas, Fernando Molina, José Ambrosio Toval Álvarez
2004 — conf
Workshops at the UML 2004 Conference.
UML
José Ambrosio Toval Álvarez
2003 J jnl
Emerging OCL tools.
Softw. Syst. Model.
José Ambrosio Toval Álvarez, Víctor Requena, José Luis Fernández-Alemán
2003 — conf
Soporte Automatizado a la reutilización de requisitos.
JISBD
Joaquín Lasheras, José Ambrosio Toval Álvarez, Joaquín Nicolás, Begoña Moros
2002 — conf
Integration and Transformation of UML Models.
ECOOP Workshops
João Araújo, Jonathan Whittle, José Ambrosio Toval Álvarez, Robert B. France
2002 A conf
Legal Requirements Reuse: A Critical Success Factor for Requirements Quality and Personal Data Protection.
RE
José Ambrosio Toval Álvarez, Alfonso Olmos, Mario Piattini
2002 J jnl
Requirements Reuse for Improving Information Systems Security: A Practitioner's Approach.
Requir. Eng.
José Ambrosio Toval Álvarez, Joaquín Nicolás, Begoña Moros, Fernando García
2002 — conf
Una infraestructura común para la animación de modelos UML.
JISBD
José Saez, José Ambrosio Toval Álvarez, João Araújo
2001 J jnl
Formal Validation and Verification of Atomic Resolution Microscope Control and Topography.
Cybern. Syst.
Joaquín Nicolás, José Ambrosio Toval Álvarez, Aurelio Arenas, Juan Alcalde
2001 — ch.
Seamless Formalizing the UML Semantics through Metamodels.
Unified Modeling Language: Systems Analysis, Design and Development Issues
José Luis Fernández-Alemán, José Ambrosio Toval Álvarez
2001 — conf
Transforming the OOram Three-Model Architecture into a UML-based Process.
HICSS
Jesús García Molina, María-José Ortín-Ibáñez, Begoña Moros, Joaquín Nicolás, José Ambrosio Toval Álvarez
2000 A conf
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools.
ISSRE
José Luis Fernández-Alemán, José Ambrosio Toval Álvarez
2000 — conf
De los Procesos del Negocio a los Casos de Uso.
JISBD
Jesús García Molina, María-José Ortín-Ibáñez, Begoña Moros, Joaquín Nicolás, José Ambrosio Toval Álvarez
2000 — conf
Formally Modeling UML and its Evolution: A Holistic Approach.
FMOODS
José Ambrosio Toval Álvarez, José Luis Fernández-Alemán
2000 — conf
Rigorously Transforming UML Class Diagrams.
JISBD
José Luis Fernández-Alemán, José Ambrosio Toval Álvarez, J. R. Hoyos Barceló
2000 A conf
Toward Use Case and Conceptual Models through Business Modeling.
ER
Jesús García Molina, María-José Ortín-Ibáñez, Begoña Moros, Joaquín Nicolás, José Ambrosio Toval Álvarez
1999 — conf
Modelado formal y ejecutabilidad de diagramas de clases de UML.
JISBD
José Luis Fernández-Alemán, José Ambrosio Toval Álvarez
1999 — conf
The Audit of the Data Warehouse Framework.
DMDW
José Antonio Rodero Rodero, Mario Piattini, José Ambrosio Toval Álvarez
1997 — conf
Formal Specification of a Scanning Tunnelling Microscope.
APPIA-GULP-PRODE
Joaquín Nicolás, Juan Alcalde, José Ambrosio Toval Álvarez, Aurelio Arenas
1994 C conf
Prototyping Object Oriented Specifications in an Algebraic Environment.
DEXA
José Ambrosio Toval Álvarez, Isidro Ramos, Oscar Pastor
1994 — conf
Una formalizacion algebraica de la notacion "objectcharts": validacion y verificacion de especificaciones orientadas a objetos de sistemas reactivos.
GULP-PRODE (2)
B. Grima, José Ambrosio Toval Álvarez