Beatriz Pérez

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 14

Top Topics

Constraint Logic Programming

Systematic Review

Top Venues

Knowl. Inf. Syst.

Publications

Carlos Sáenz-Adán, Francisco J. García Izquierdo, Beatriz Pérez, Trung Dong Huynh, Luc Moreau
Automated and non-intrusive provenance capture with UML2PROV. Computing 104 (4) (2022)
Carlos Sáenz-Adán, Beatriz Pérez, Francisco José García Izquierdo, Luc Moreau
Integrating Provenance Capture and UML With UML2PROV: Principles and Experience. IEEE Trans. Software Eng. 48 (2) (2022)
Beatriz Pérez
Enhancing the Learning of Database Access Programming using Continuous Integration and Aspect Oriented Programming. ICSE (SEET) (2021)
César Domínguez, Francisco José García Izquierdo, Arturo Jaime Elizondo, Beatriz Pérez, Ángel Luis Rubio, María Antonia Zapata
Using Process Mining to Analyze Time Distribution of Self-Assessment and Formative Assessment Exercises on an Online Learning Tool. IEEE Trans. Learn. Technol. 14 (5) (2021)
Beatriz Pérez, Ángel Luis Rubio
A Project-Based Learning Approach for Enhancing Learning Skills and Motivation in Software Engineering. SIGCSE (2020)
Eladio Domínguez, Beatriz Pérez, Ángel Luis Rubio, María A. Zapata
Towards a Framework for KPI Evolution. ENASE (2020)
Beatriz Pérez
Reasoning about clinical guidelines based on algebraic data types and constraint logic programming. J. Biomed. Informatics 92 (2019)
Eladio Domínguez, Beatriz Pérez, Ángel Luis Rubio, María A. Zapata
A taxonomy for key performance indicators management. Comput. Stand. Interfaces 64 (2019)
Beatriz Pérez, Ivan Porres
Reasoning about UML/OCL class diagrams using constraint logic programming and formula. Inf. Syst. 81 (2019)
Beatriz Pérez, Julio Rubio, Carlos Sáenz-Adán
A systematic review of provenance systems. Knowl. Inf. Syst. 57 (3) (2018)
Eladio Domínguez, Beatriz Pérez, Ángel Luis Rubio, María A. Zapata, Alberto Allué, Antonio López
Generating Persistence Structures for the Integration of Data and Control Aspects in Business Process Monitoring. ICEIS (2) (2018)
Carlos Sáenz-Adán, Beatriz Pérez, Trung Dong Huynh, Luc Moreau
UML2PROV: Automating Provenance Capture in Software Engineering. SOFSEM (2018)
Carlos Sáenz-Adán, Luc Moreau, Beatriz Pérez, Simon Miles, Francisco José García Izquierdo
Automating Provenance Capture in Software Engineering with UML2PROV. IPAW (2018)
Eladio Domínguez, Beatriz Pérez, Ángel Luis Rubio, María Antonia Zapata, Alberto Allué, Antonio López
Developing provenance-aware query systems: an occurrence-centric approach. Knowl. Inf. Syst. 50 (2) (2017)
Eladio Domínguez, Beatriz Pérez, Ángel Luis Rubio, María Antonia Zapata, Juan Lavilla, Alberto Allué
Occurrence-Oriented Design Strategy for Developing Business Process Monitoring Systems. IEEE Trans. Knowl. Data Eng. 26 (7) (2014)
Eladio Domínguez, Beatriz Pérez, María A. Zapata
A UML profile for dynamic execution persistence with monitoring purposes. MiSE (2013)
Eladio Domínguez, Beatriz Pérez, Ángel Luis Rubio, María A. Zapata
A systematic review of code generation proposals from state machine specifications. Inf. Softw. Technol. 54 (10) (2012)
Eladio Domínguez, Jorge Lloret, Beatriz Pérez, Áurea Rodríguez, Ángel Luis Rubio, María Antonia Zapata
Evolution of XML schemas and documents from stereotyped UML class models: A traceable approach. Inf. Softw. Technol. 53 (1) (2011)
Beatriz Pérez, Ivan Porres
Authoring and verification of clinical guidelines: A model driven approach. J. Biomed. Informatics 43 (4) (2010)
Eladio Domínguez, Beatriz Pérez, María Antonia Zapata
Tracing the Application of Clinical Guidelines. APWeb Workshops (2008)
Ivan Porres, Eladio Domínguez, Beatriz Pérez, Áurea Rodríguez, María Antonia Zapata
A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support Systems. ECBS (2008)
Beatriz Pérez, Ivan Porres
Verification of Clinical Guidelines by Model Checking. CBMS (2008)
Eladio Domínguez, Jorge Lloret, Beatriz Pérez, Áurea Rodríguez, Ángel Luis Rubio, María Antonia Zapata
Model-Driven Development Based Transformation of Stereotyped Class Diagrams to XML Schemas in a Healthcare Context. ER Workshops (2007)
Eladio Domínguez, Jorge Lloret, Beatriz Pérez, Áurea Rodríguez, Ángel Luis Rubio, María Antonia Zapata
A Survey of UML Models to XML Schemas Transformations. WISE (2007)
Ivan Porres, Eladio Domínguez, Beatriz Pérez, Áurea Rodríguez, María Antonia Zapata
Development of an Ubiquitous Decision Support System for Clinical Guidelines using MDA. CAiSE Forum (2007)