Publications (32)


  1. Towards a framework for KPI evolution

    ENASE 2020 - Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering

  2. A project-based learning approach for enhancing learning skills and motivation in software engineering

    Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE

  3. Using the scientific method as a metaphor to understand modeling

    Journal of Universal Computer Science, Vol. 26, Núm. 9, pp. 1230-1264


  1. A taxonomy for key performance indicators management

    Computer Standards and Interfaces, Vol. 64, pp. 24-40


  1. Generating persistence structures for the integration of data and control aspects in business process monitoring

    ICEIS 2018 - Proceedings of the 20th International Conference on Enterprise Information Systems, pp. 320-327

  2. Una herramienta informática para la coordinación de las prácticas de laboratorio del Grado en Química

    Educación química, Vol. 29, Núm. 4, pp. 3-17


  1. Developing provenance-aware query systems: an occurrence-centric approach

    Knowledge and Information Systems, Vol. 50, Núm. 2, pp. 661-688


  1. A Tool for Management of Knowledge Dispersed throughout Multiple References

    Proceedings of the 10th International Conference on Software Paradigm Trends (Scitepress), pp. 79-86


  1. Obtaining an ACL2 sprecification from an Isabelle/HOL theory

    Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 (Springer), pp. 49-63

  2. Occurrence-Oriented Design Strategy for Developing Business Process Monitoring Systems

    IEEE Transactions on Knowledge and Data Engineering, Vol. 26, Núm. 7, pp. 1749-1762

  3. Obtaining an ACL2 specification from an Isabelle/HOL theory

    Lecture Notes in Computer Science, Vol. 8884, pp. 49-63

  4. Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada

    Zubía, Núm. 26, pp. 19-37


  1. Feasibility of the Implementation of a UML to XML Evolution Architecture Using Eclipse as Technological Ecosystem

    The Fifth International Conference on Advances in Databases, Knowledge, and Data Applications, DBKDA 2013, Jan. 27 - Febr. 1, pp. 231-234

  2. References-enriched Concept Map: A tool for collecting and comparing disparate definitions appearing in multiple references

    Journal of Information Science, Vol. 39, Núm. 6, pp. 789-804


  1. A systematic review of code generation proposals from state machine specifications

    Information and Software Technology, Vol. 54, Núm. 10, pp. 1045-1066


  1. Evolution of XML schemas and documents from stereotyped UML class models: A traceable approach

    Information and Software Technology, Vol. 53, Núm. 1, pp. 34-50


  1. Stones falling in water: When and how to restructure a view-based relational database (extended version)

    CEUR Workshop Proceedings, pp. 137-150

  2. Metamodelizando para evolucionar: dos décadas de grupo nóesis

    Contribuciones científicas en honor de Mirian Andrés Gómez (Universidad de La Rioja), pp. 263-272

  3. Modeling Issues: A Survival Guide for a Non-expert Modeler

    Lecture Notes in Computer Science, Vol. 6395 LNCS, Núm. PART 2, pp. 361-375