TIC195
Mejora del Proceso Software y Métodos Formales
Publications (34) Publications in which a researcher has participated View referenced research data.
2021
2020
-
Virtual reality authoring tools for teachers to create novel and immersive learning scenarios
ACM International Conference Proceeding Series
2019
-
MEdit4CEP-Gam: A model-driven approach for user-friendly gamification design, monitoring and code generation in CEP-based systems (Summary)
XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019)
2016
-
Soft Computing Techniques for the Protein Folding Problem on High Performance Computing Architectures
Current drug targets, Vol. 17, Núm. 14, pp. 1626-1648
2014
-
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
-
Automatic dynamic generation of likely invariants for WS-BPEL compositions
Expert Systems with Applications, Vol. 41, Núm. 11, pp. 5041-5055
2013
-
A collaborative authoring of learning scenarios using the LPCEL editor
Proceedings - 2013 IEEE 13th International Conference on Advanced Learning Technologies, ICALT 2013
-
A generative computer language to customize online learning assessments
ACM International Conference Proceeding Series
-
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
-
Open data framework for sustainable assessment in software forges
ACM International Conference Proceeding Series
2012
-
Analysis and application of gamification
ACM International Conference Proceeding Series
-
Competitive evaluation in a video game development course
Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE
-
Decision making support in CMMI process areas using multiparadigm simulation modeling
Proceedings - Winter Simulation Conference
-
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
-
A framework for learning through mobile qualitative research
Proceedings - 10th IEEE International Conference on Advanced Learning Technologies, ICALT 2010
-
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)
-
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
-
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
-
Advanced Transactional Models for a new generation of Educational Modelling Language engines
Proceedings - 2009 9th IEEE International Conference on Advanced Learning Technologies, ICALT 2009
-
EML learning flow expressiveness evaluation
Proceedings - 2009 9th IEEE International Conference on Advanced Learning Technologies, ICALT 2009