Publications (34) Publications in which a researcher has participated View referenced research data.

filter_list Software

2014

  1. A model-driven development approach for learning design using the LPCEL Editor

    Journal of King Saud University - Computer and Information Sciences, Vol. 26, Núm. 1, pp. 17-27

  2. Automatic dynamic generation of likely invariants for WS-BPEL compositions

    Expert Systems with Applications, Vol. 41, Núm. 11, pp. 5041-5055

2013

  1. A collaborative authoring of learning scenarios using the LPCEL editor

    Proceedings - 2013 IEEE 13th International Conference on Advanced Learning Technologies, ICALT 2013

  2. A generative computer language to customize online learning assessments

    ACM International Conference Proceeding Series

  3. Applying recommendations to align competences, methodology, and assessment in telematics, computing, and electronic engineering courses

    Revista Iberoamericana de Tecnologias del Aprendizaje, Vol. 8, Núm. 1, pp. 15-22

  4. Open data framework for sustainable assessment in software forges

    ACM International Conference Proceeding Series

2012

  1. Analysis and application of gamification

    ACM International Conference Proceeding Series

  2. Competitive evaluation in a video game development course

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

  3. Decision making support in CMMI process areas using multiparadigm simulation modeling

    Proceedings - Winter Simulation Conference

  4. LPCEL editor: A web-based visual authoring tool for learning design

    Proceedings of the 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012

2010

  1. A framework for learning through mobile qualitative research

    Proceedings - 10th IEEE International Conference on Advanced Learning Technologies, ICALT 2010

  2. Developing an intelligent parking management application based on multi-agent systems and semantic web technologies

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Knowledge authoring with ore: Testing, debugging and validating knowledge rules in a semantic web framework

    Journal of Universal Computer Science, Vol. 16, Núm. 9, pp. 1234-1266

  4. Takuan: A tool for WS-BPEL composition testing using dynamic invariant generation

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2009

  1. Advanced Transactional Models for a new generation of Educational Modelling Language engines

    Proceedings - 2009 9th IEEE International Conference on Advanced Learning Technologies, ICALT 2009

  2. EML learning flow expressiveness evaluation

    Proceedings - 2009 9th IEEE International Conference on Advanced Learning Technologies, ICALT 2009