author = {Wolfgang Schreiner},
title = {{WebEx: Web Exercises for RISCAL}},
language = {english},
abstract = {We report on a software framework "WebEx" for developing web-based student exercises whose correctness is checked with the help of the RISCAL (RISC Algorithm Language) software. This framework allows to generate from an appropriately annotated RISCAL specification file an HTML file that serves as the frontend to a remote execution service. Student input (RISCAL fragments) are transmitted to this execution service which generates from the annotated specification file and the input a plain RISCAL specification on which RISCAL is invoked (in a non-interactive mode); the success status of the execution and the produced output are reported back to the web interface. For each successful exercise the server produces a digitally signed certificate that is returned to the user who may submit this certificate as a proof of successful completion of the exercise (which may be subsequently automatically checked). Furthermore each annotated RISCAL specification may serve as a template that may be instantiated with other data to produce a set of exercise instances. The WebEx software is mostly independent of RISCAL; it may be also used to provide a web front end for other scientific software of a similar nature.},
year = {2018},
month = {October},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria},
keywords = {formal methods, logic, computer-supported education},
sponsor = {Austrian OEAD WTZ program and the Slovak SRDA agency contract SK 14/2018 SemTech and Johannes Kepler University Linz, Linz Institute of Technology (LIT), Project LOGTECHEDU},
length = {35}