José Ambrosio Toval Álvarez

Orcid: 0000-0002-8273-5937

According to our database1, José Ambrosio Toval Álvarez authored at least 113 papers between 1994 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Reviewing Learning Software Engineering Through Serious Game Development.
Proceedings of the Information Systems and Technologies, 2023

2022
Auditing the Governance and Management of Green IT.
J. Comput. Inf. Syst., September, 2022

Taking the pulse of a classroom with a gamified audience response system.
Comput. Methods Programs Biomed., 2022

2021
Intracranial pressure analysis software: A mapping study and proposal.
Comput. Methods Programs Biomed., 2021

Intracranial pressure analysis software: A mapping study and proposal.
Comput. Methods Programs Biomed., 2021

2020
Software Requirement Catalog on Acceptability, Usability, Internationalization and Sustainability for Contraception mPHRs.
Proceedings of the Computational Science and Its Applications - ICCSA 2020, 2020

2019
A Requirements Catalog of Mobile Personal Health Records for Prenatal Care.
Proceedings of the Computational Science and Its Applications - ICCSA 2019, 2019

2018
Sustainability requirements for connected health applications.
J. Softw. Evol. Process., 2018

Reusable Software Usability Specifications for mHealth Applications.
J. Medical Syst., 2018

Evaluating the Privacy Policies of Mobile Personal Health Records for Pregnancy Monitoring.
J. Medical Syst., 2018

On the Risks and Safeguards for Requirements Engineering in Global Software Development: Systematic Literature Review and Quantitative Assessment.
IEEE Access, 2018

Energy Efficiency of Personal Health Records.
Proceedings of the 12th International Conference on Ubiquitous Computing and Ambient Intelligence, 2018

2017
Automated support for reuse-based requirements engineering in global software engineering.
J. Softw. Evol. Process., 2017

E-health internationalization requirements for audit purposes.
Comput. Methods Programs Biomed., 2017

Requirements for a mobile personal health record to improve cardiovascular healthcare services.
Proceedings of the Symposium on Applied Computing, 2017

Software Cost Attributes in Global Software Development Projects: A Survey.
Proceedings of the 9th International Conference on Information Management and Engineering, Barcelona, Spain, October 09, 2017

A Reusable Requirements Catalog for Internationalized and Sustainable Blood Donation Apps.
Proceedings of the ENASE 2017, 2017

ISO/IEC 25010 Based Evaluation of Free Mobile Personal Health Records for Pregnancy Monitoring.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016
Effects of Using Requirements Catalogs on Effectiveness and Productivity of Requirements Specification in a Software Project Management Course.
IEEE Trans. Educ., 2016

Co-located and distributed natural-language requirements specification: traditional versus reuse-based techniques.
J. Softw. Evol. Process., 2016

An Empirical Study of Neural Network-Based Audience Response Technology in a Human Anatomy Course for Pharmacy Students.
J. Medical Syst., 2016

The evaluation of i-SIDRA - a tool for intelligent feedback - in a course on the anatomy of the locomotor system.
Int. J. Medical Informatics, 2016

Mobile personal health records for pregnancy monitoring functionalities: Analysis and potential.
Comput. Methods Programs Biomed., 2016

Requirements specification of an e-health solution to improve cardiovascular healthcare services in Morocco.
Proceedings of the 11th International Conference on Intelligent Systems: Theories and Applications, 2016

Experiment design of free pregnancy monitoring mobile personal health records quality evaluation.
Proceedings of the 18th IEEE International Conference on e-Health Networking, 2016

Identifying risks of software project management in Global Software Development: An integrative framework.
Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

2015
Requirements engineering education: a systematic mapping study.
Requir. Eng., 2015

Empirical Studies on Usability of mHealth Apps: A Systematic Literature Review.
J. Medical Syst., 2015

Free Blood Donation Mobile Applications.
J. Medical Syst., 2015

Compliance of Blood Donation Apps with Mobile OS Usability Guidelines.
J. Medical Syst., 2015

Analysis of health professional security behaviors in a real clinical setting: An empirical study.
Int. J. Medical Informatics, 2015

Predicting Software Product Quality: A Systematic Mapping Study.
Computación y Sistemas, 2015

Security in cloud computing: A mapping study.
Comput. Sci. Inf. Syst., 2015

Commonalities and differences between requirements engineering tools: A quantitative approach.
Comput. Sci. Inf. Syst., 2015

Software Cost Estimation for Global Software Development - A Systematic Map and Review Study.
Proceedings of the ENASE 2015, 2015

Technical solutions for mitigating security threats caused by health professionals in clinical settings.
Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

Applying ISO/IEC 25010 on Mobile Personal Health Records.
Proceedings of the HEALTHINF 2015, 2015

2014
Mutation Testing.
IEEE Softw., 2014

Mobile PHRs Compliance with Android and iOS Usability Guidelines.
J. Medical Syst., 2014

Evaluating Software Product Quality: A Systematic Mapping Study.
Proceedings of the 2014 Joint Conference of the International Workshop on Software Measurement and the International Conference on Software Process and Product Measurement, 2014

Assessing the privacy policies in mobile personal health records.
Proceedings of the 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2014

Electronic health records for cardiovascular medicine.
Proceedings of the 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2014

2013
Free Web-based Personal Health Records: An Analysis of Functionality.
J. Medical Syst., 2013

Security and privacy in electronic health records: A systematic literature review.
J. Biomed. Informatics, 2013

Transforming and tracing reused requirements models to home automation models.
Inf. Softw. Technol., 2013

Software Quality Requirements: A Systematic Mapping Study.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

Reusing Requirements in Global Software Engineering.
Proceedings of the Managing Requirements Knowledge., 2013

2012
Requirements engineering tools: Capabilities, survey and assessment.
Inf. Softw. Technol., 2012

Personal Health Records: New Means to Safely Handle Health Data?
Computer, 2012

Evaluation and Neuronal Network-Based Classification of the PHRs Privacy Policies.
Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

An analysis of free Web-based PHRs functionalities and I18n.
Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2012

Neural network-based data analysis for medical-surgical nursing learning.
Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2012

A survey of requirements engineering education.
Proceedings of the IEEE Global Engineering Education Conference, 2012

Internationalization requirements for e-learning audit purposes.
Proceedings of the IEEE Global Engineering Education Conference, 2012

Knowledge Clustering Using a Neural Network in a Course on Medical-Surgical Nursing.
Proceedings of the Engineering Applications of Neural Networks, 2012

2011
Requirements Engineering Tools.
IEEE Softw., 2011

Basis for an integrated security ontology according to a systematic review of existing proposals.
Comput. Stand. Interfaces, 2011

Usable Privacy and Security in Personal Health Records.
Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011

Assessing the HIPAA standard in practice: PHR privacy policies.
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

2010
An MDE modeling framework for measurable goal-oriented requirements.
Int. J. Intell. Syst., 2010

Exploitation of social semantic technology for software development team configuration.
IET Softw., 2010

A Personal Data Audit Method through Requirements Engineering.
Comput. Stand. Interfaces, 2010

2009
An integrated domain analysis approach for teleoperated systems.
Requir. Eng., 2009

ModelSec: A Generative Architecture for Model-Driven Security.
J. Univers. Comput. Sci., 2009

On the generation of requirements specifications from software engineering models: A systematic literature review.
Inf. Softw. Technol., 2009

A systematic review of UML model consistency management.
Inf. Softw. Technol., 2009

Integrating usability requirements that can be evaluated in design time into Model Driven Engineering of Web Information Systems.
Adv. Eng. Softw., 2009

Modelling Reusable Security Requirements based on an Ontology Framework.
J. Res. Pract. Inf. Technol., 2009

A Model Driven Approach for Generating Code from Security Requirements.
Proceedings of the Security in Information Systems, 2009

ECAPRIS: Metodología ágil de medición de calidad y productividad en PyMEs .
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Risks and Safeguards for the Requirements Engineering Process in Global Software Development.
Proceedings of the 4th IEEE International Conference on Global Software Engineering, 2009

2008
Eight key issues for an effective reuse-based requirements process.
Comput. Syst. Sci. Eng., 2008

Modelling Web-Based Systems Requirements Using WRM.
Proceedings of the Web Information Systems Engineering - WISE 2008 Workshops, 2008

An Ontology-Based Framework for Modelling Security Requirements.
Proceedings of the Security in Information Systems, 2008

Towards a Requirements-Aware Common Web Engineering Metamodel.
Proceedings of the Latin American Web Conference, 2008

Metamodelo y Perfil UML para el Modelado Orientado a Metas de Requisitos Medibles.
Proceedings of the XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), 2008

COTSRE: A COmponenTs Selection Method Based on Requirements Engineering.
Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), 2008

A UML Profile for Modelling Measurable Requirements.
Proceedings of the Advances in Conceptual Modeling - Challenges and Opportunities, 2008

REMM-Studio<sup>+</sup>: Modeling Variability to Enable Requirements Reuse.
Proceedings of the Conceptual Modeling, 2008

Metamodeling Variability to Enable Requirements Reuse.
Proceedings of the 13th International Workshop on Exploring Modeling Methods for Systems Analysis and Design, 2008

Model Transformations powered by Rewriting Logic.
Proceedings of the Forum at the CAiSE'08 Conference, Montpellier, France, June 18-20, 2008, 2008

Requirements Engineering to Audit Privacy Issues in Medical and Health Software.
Proceedings of the First International Conference on Health Informatics, 2008

A Systematic Review and Comparison of Security Ontologies.
Proceedings of the The Third International Conference on Availability, 2008

2007
REMM-Studio: an Integrated Model-Driven Environment for Requirements Specification, Validation and Formatting.
J. Object Technol., 2007

A Generic Approach to Improve Navigational Model Usability Based Upon Requirements and Metrics.
Proceedings of the Web Information Systems Engineering - WISE 2007 Workshops, 2007

REMM-Studio: Un entorno integrado para dar soporte a un enfoque de Ingeniería de Requisitos Dirigido por Modelos.
Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

A Model-Driven Engineering Approach to Requirements Engineering - How These Disciplines May Benefit Each Other.
Proceedings of the ICSOFT 2007, 2007

2006
An Audit Method of Personal Data Based on Requirements Engineering.
Proceedings of the Security in Information Systems, 2006

Precise WIS development.
Proceedings of the 6th International Conference on Web Engineering, 2006

2005
Report on the ninth conference on Software Engineering and Databases (JISBD 2004).
SIGMOD Rec., 2005

A Precise Approach for the Analysis of the UML Models Consistency.
Proceedings of the Perspectives in Conceptual Modeling, 2005

An Empirical Study of the Nesting Level of Composite States Within UML Statechart Diagrams.
Proceedings of the Perspectives in Conceptual Modeling, 2005

Una Propuesta de V&V en el Marco de MDA.
Proceedings of the Actas del Taller sobre Desarrollo Dirigido por Modelos, 2005

2004
Workshops at the UML 2004 Conference.
Proceedings of the «UML» 2004, 2004

2003
Emerging OCL tools.
Softw. Syst. Model., 2003

Soporte Automatizado a la reutilización de requisitos.
Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

2002
Requirements Reuse for Improving Information Systems Security: A Practitioner's Approach.
Requir. Eng., 2002

Legal Requirements Reuse: A Critical Success Factor for Requirements Quality and Personal Data Protection.
Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

Una infraestructura común para la animación de modelos UML.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

Integration and Transformation of UML Models.
Proceedings of the Object-Oriented Technology, 2002

2001
Formal Validation and Verification of Atomic Resolution Microscope Control and Topography.
Cybern. Syst., 2001

Transforming the OOram Three-Model Architecture into a UML-based Process.
Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

Seamless Formalizing the UML Semantics through Metamodels.
Proceedings of the Unified Modeling Language: Systems Analysis, 2001

2000
De los Procesos del Negocio a los Casos de Uso.
Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

Rigorously Transforming UML Class Diagrams.
Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

Can Intuition Become Rigorous? Foundations for UML Model Verification Tools.
Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

Formally Modeling UML and its Evolution: A Holistic Approach.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

Toward Use Case and Conceptual Models through Business Modeling.
Proceedings of the Conceptual Modeling, 2000

1999
Modelado formal y ejecutabilidad de diagramas de clases de UML.
Proceedings of the IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99), 1999

The Audit of the Data Warehouse Framework.
Proceedings of the Intl. Workshop on Design and Management of Data Warehouses, 1999

1997
Formal Specification of a Scanning Tunnelling Microscope.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1994
Prototyping Object Oriented Specifications in an Algebraic Environment.
Proceedings of the Database and Expert Systems Applications, 5th International Conference, 1994

Una formalizacion algebraica de la notacion "objectcharts": validacion y verificacion de especificaciones orientadas a objetos de sistemas reactivos.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994


  Loading...