OASIcs.SLATE.2018.5.pdf
- Filesize: 489 kB
- 13 pages
Document
eOS: The Exercise Operating System
Authors
Rui Mendes 
,
José João Almeida
-
Part of:
Volume:
7th Symposium on Languages, Applications and Technologies (SLATE 2018)
Series: Open Access Series in Informatics (OASIcs)
Conference: Symposium on Languages, Applications and Technologies (SLATE) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2018-07-13
File
Document Identifiers
Author Details
- Centro Algoritmi / Departamento de Informática, Universidade do Minho, Campus de Gualtar, Braga, Portugal
Cite As Get BibTex
Rui Mendes and José João Almeida. eOS: The Exercise Operating System. In 7th Symposium on Languages, Applications and Technologies (SLATE 2018). Open Access Series in Informatics (OASIcs), Volume 62, pp. 5:1-5:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/OASIcs.SLATE.2018.5
Abstract
We present an architecture for a system for creating, adapting and evaluating programming exercises for students. The system is capable of generating exercise skeletons, automatically creating inputs and outputs, provide a way of creating a large number of exercises programmatically and allowing students to solve them while giving them feedback. Furthermore, it allows the creation of special comparators that can check whether the output of a given submission is equivalent to the expected one or simply check whether the above mentioned output corresponds to a correct solution.
Subject Classification
ACM Subject Classification
- Software and its engineering → Domain specific languages
Keywords
- domain specific language
- code generation
- automatic evaluation
- testing
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
-
Charu C. Aggarwal and Jiawei Han. Frequent pattern mining. Springer, 2014.
- Guido van Rossum David Goodger. PEP 257 - Docstring conventions. Documentation, Python Software Foundation, 2001. URL: https://www.python.org/dev/peps/pep-0257/.
-
Edsger W. Dijkstra. A note on two problems in connexion with graphs. Numerische mathematik, 1(1):269-271, 1959.
- Christian Estler and Martin Nordio. Codeboard: A web-based ide to teach programming in the classroom, 2018. URL: https://codeboard.io/.
-
Robert W. Floyd. Algorithm 97: shortest path. Communications of the ACM, 5(6):345, 1962.
-
Michal Forišek. On the suitability of programming tasks for automated evaluation. Informatics in education, 5(1):63-76, 2006.
-
Michal Forišek. Security of programming contest systems. Information Technologies at School, pages 553-563, 2006.
-
Karam Gouda, Mosab Hassaan, and Mohammed J Zaki. Prism: An effective approach for frequent sequence mining via prime-block encoding. Journal of Computer and System Sciences, 76(1):88-102, 2010.
-
Peter E. Hart, Nils J. Nilsson, and Bertram Raphael. A formal basis for the heuristic determination of minimum cost paths. IEEE transactions on Systems Science and Cybernetics, 4(2):100-107, 1968.
-
Dorota Huizinga and Adam Kolawa. Automated defect prevention: best practices in software management. John Wiley &Sons, 2007.
-
Tomaž Kosar, Sudev Bohra, and Marjan Mernik. Domain-specific languages: a systematic mapping study. Information and Software Technology, 71:77-91, 2016.
-
José Paulo Leal and Fernando Silva. Mooshak: A web-based multi-site programming contest system. Software: Practice and Experience, 33(6):567-581, 2003.
-
Mathew Penrose. Random geometric graphs, volume 5. Oxford university press, 2003.
-
Saul Schleimer, Daniel S. Wilkerson, and Alex Aiken. Winnowing: local algorithms for document fingerprinting. In ACM SIGMOD international conference on Management of data, pages 76-85, 2003.
- Stepic team. Stepic.org: Cloud-based digital learning environment for computer science. , https://blog.stepik.org/. URL: https://stepik.org/.
-
Mohammed J. Zaki. Spade: An efficient algorithm for mining frequent sequences. Machine learning, 42(1-2):31-60, 2001.