Acta Electrotechnica et Informatica (Dec 2017)
Web-Based Questionnaires for Type Theory Course
Abstract
This paper describes our effort on the usage of modern information and communication technologies as well as innovation process in the field of teaching. % Our goal is to design and develop a web-based system to support management and analysis of course questionnaires for students. The proposed system is broadly divided into two parts. First, we describe the system architecture followed by a preparation of a suitable network environment and a design of a database model used for storage of data about the questionnaires. Second, we present a design of the proposed website, its structure, and finally a proper layout of the questionnaires. An important functionality of our system is also to provide various statistical information obtained from the responses. This enables teachers to exercise introspection and self-reflection in order to improve quality of their teaching of the course. The main goal of our long-term effort is a deployment of the system into use within the course on Type theory, which allows students to grow their knowledge in the principles of type systems and languages of functional programming paradigm.
Keywords