TIC195
Mejora del Proceso Software y Métodos Formales
Publications (19) Publications in which a researcher has participated View referenced research data.
2013
-
A collaborative authoring of learning scenarios using the LPCEL editor
Proceedings - 2013 IEEE 13th International Conference on Advanced Learning Technologies, ICALT 2013
-
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
2012
-
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
-
User profiling based on similarity, trust and reputation
Proceedings - 8th International Conference on Intelligent Environments, IE 2012
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
2008
-
A Grid-based architectural framework for composition and execution of complex learning processes
Proceedings - The 8th IEEE International Conference on Advanced Learning Technologies, ICALT 2008
-
Evaluating the runtime adaptation of EML-described learning processes
Proceedings - The 8th IEEE International Conference on Advanced Learning Technologies, ICALT 2008
-
Evolutionary design of collaborative learning processes through reflective Petri Nets
Proceedings - The 8th IEEE International Conference on Advanced Learning Technologies, ICALT 2008
-
Improving Takuan to analyze a meta-search engine WS-BPEL composition
Proceedings of the 4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008
-
Instructional domain analysis: A methodological approach to service-oriented learning
Proceedings - The 8th IEEE International Conference on Advanced Learning Technologies, ICALT 2008
-
ReST-Based Web Access to Learning Design Services
IEEE Transactions on Learning Technologies, Vol. 1, Núm. 3, pp. 190-195
-
Takuan: A dynamic invariant generation system for WS-BPEL compositions
Proceedings of the 6th IEEE European Conference on Web Services, ECOWS'08
2007
-
Instructional software analysis: Lessons from software development process improvement
Proceedings - The 7th IEEE International Conference on Advanced Learning Technologies, ICALT 2007
-
Towards semantic-aware management of security services in GT4
Multiagent and Grid Systems, Vol. 3, Núm. 4, pp. 369-379
2006
-
Effective analysis and design of computer-supported learning system
Proceedings - Sixth International Conference on Advanced Learning Technologies, ICALT 2006
-
Late modelling: A timing of learning activities approach
Proceedings - Sixth International Conference on Advanced Learning Technologies, ICALT 2006
-
Model-driven instructional engineering to generate adaptable learning materials
Proceedings - Sixth International Conference on Advanced Learning Technologies, ICALT 2006
2005
-
An architectural framework for composition and execution of complex learning processes
Proceedings - 5th IEEE International Conference on Advanced Learning Technologies, ICALT 2005