José Ambrosio Toval Álvarez
Orcid: 0000-0002-8273-5937
According to our database1,
José Ambrosio Toval Álvarez
authored at least 115 papers
between 1994 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Uncharted dimensions, gaps, and future trends of serious games in software engineering.
Comput. Stand. Interfaces, 2025
2024
IEEE Trans. Educ., October, 2024
2023
Proceedings of the Information Systems and Technologies, 2023
2022
J. Comput. Inf. Syst., September, 2022
Comput. Methods Programs Biomed., 2022
2021
Comput. Methods Programs Biomed., 2021
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
Proceedings of the Computational Science and Its Applications - ICCSA 2019, 2019
2018
J. Softw. Evol. Process., 2018
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
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
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
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
J. Medical Syst., 2015
J. Medical Syst., 2015
Analysis of health professional security behaviors in a real clinical setting: An empirical study.
Int. J. Medical Informatics, 2015
Computación y Sistemas, 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
J. Medical Syst., 2014
Proceedings of the 2014 Joint Conference of the International Workshop on Software Measurement and the International Conference on Software Process and Product Measurement, 2014
Proceedings of the 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2014
Proceedings of the 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2014
2013
J. Medical Syst., 2013
J. Biomed. Informatics, 2013
Inf. Softw. Technol., 2013
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013
Proceedings of the Managing Requirements Knowledge., 2013
2012
Inf. Softw. Technol., 2012
Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012
Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2012
Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2012
Proceedings of the IEEE Global Engineering Education Conference, 2012
Proceedings of the IEEE Global Engineering Education Conference, 2012
Proceedings of the Engineering Applications of Neural Networks, 2012
2011
Basis for an integrated security ontology according to a systematic review of existing proposals.
Comput. Stand. Interfaces, 2011
Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011
2010
Int. J. Intell. Syst., 2010
Exploitation of social semantic technology for software development team configuration.
IET Softw., 2010
Comput. Stand. Interfaces, 2010
2009
J. Univers. Comput. Sci., 2009
On the generation of requirements specifications from software engineering models: A systematic literature review.
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
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
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
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
Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), 2008
Proceedings of the Advances in Conceptual Modeling - Challenges and Opportunities, 2008
Proceedings of the Conceptual Modeling, 2008
Proceedings of the 13th International Workshop on Exploring Modeling Methods for Systems Analysis and Design, 2008
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
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
Proceedings of the 6th International Conference on Web Engineering, 2006
2005
SIGMOD Rec., 2005
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
Proceedings of the Actas del Taller sobre Desarrollo Dirigido por Modelos, 2005
2004
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
Proceedings of the Object-Oriented Technology, 2002
2001
Formal Validation and Verification of Atomic Resolution Microscope Control and Topography.
Cybern. Syst., 2001
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
Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000
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
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
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