Publicaciones en las que colabora con Ivan Porres (7)

2019

  1. Reasoning about UML/OCL class diagrams using constraint logic programming and formula

    Information Systems, Vol. 81, pp. 152-177

2014

  1. An Overall Framework for Reasoning About UML/OCL Models Based on Constraint Logic Programming and MDA

    International Journal on Advances in Software, Vol. 7, Núm. 1&2, pp. 370-380

2013

  1. Reasoning About UML/OCL Models Using Constraint Logic Programming and MDA

    Proc. of the International Conference on Software Engineering Advances (ICSEA) (ICSEA), pp. 228-233

2010

  1. Authoring and Verification of Clinical Guidelines: a Model Driven Approach

    Journal of Biomedical Informatics, Vol. 43, Núm. 4, pp. 520-536

2008

  1. A model driven approach to automate the implementation of clinical guidelines in decision support systems

    Fifteenth IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2008, pp. 210-218

  2. Verification of clinical guidelines by model checking

    21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008;Jyvaskyla;17 June 2008through19 June 2008, pp. 114-119

2007

  1. Development of an ubiquitous decision support system for clinical guidelines using MDA

    CEUR Workshop Proceedings, pp. 9-12