Design and Testing of Reliable Systems
Universidad Rey Juan Carlos
Madrid, EspañaUniversidad Rey Juan Carlos-ko ikertzaileekin lankidetzan egindako argitalpenak (15)
2021
-
CEViNEdit: improving the process of creating cognitively effective graphical editors with GMF
Software and Systems Modeling, Vol. 20, Núm. 3, pp. 867-895
2018
-
SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017
-
LAnt: Model driven approach for ant colony optimization 1
Journal of Intelligent and Fuzzy Systems
2014
-
FLOP: A user-friendly system for automated program assessment
Journal of Universal Computer Science, Vol. 20, Núm. 9, pp. 1304-1326
-
Student perception and usage of an automated programming assessment tool
Computers in Human Behavior, Vol. 31, Núm. 1, pp. 453-460
2012
-
Lessons learned from using the automated assessment tool 'Mooshak'
2012 International Symposium on Computers in Education, SIIE 2012
2008
-
A Gentle Introduction to Mutual Recursion
ITICSE '08: PROCEEDINGS OF THE 13TH ANNUAL CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION
-
A gentle introduction to mutual recursion
Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE
-
An approach to effortless construction of program animations
Computers and Education, Vol. 50, Núm. 1, pp. 179-192
-
An instructor's guide to design Web-based algorithm animations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Testing-based automatic grading: A proposal from Bloom's taxonomy
Proceedings - The 8th IEEE International Conference on Advanced Learning Technologies, ICALT 2008
2007
-
WinHIPE: An IDE for functional programming based on rewriting and visualization
ACM SIGPLAN Notices, Vol. 42, Núm. 3, pp. 14-23
2002
-
A system to generate electronic books on programming exercises
Electronic Library, Vol. 20, Núm. 4, pp. 314-321
2001
-
EXercita: Automatic web publishing of programming exercises
Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE
1999
-
Calculating encoding and decoding functions for prefix codes
SIGPLAN Notices (ACM Special Interest Group on Programming Languages), Vol. 34, Núm. 4, pp. 54-60