WEB-BASED QUESTIONNAIRES FOR TYPE THEORY COURSE

This paper describes our effort on the usage of modern information and communication technologies as well as innovation process in the ﬁeld 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 ﬁnally 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-reﬂection 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.


INTRODUCTION
Presently, the most important activities at numerous universities are operating on the principles of quality management in accordance with a systematic repetition of the Plan-Do-Check-Act cycle [3].The main activities at the universities are learning, research, and development as well as business activity.
The main purpose of the university is to serve the society in general.The aim of the university educational process is to ensure a gradual, continuous acquisition of knowledge and skills for its students.This is ensured by a quality, efficient, and cost-effective implementation of teaching processes by university teachers.Improvement of a learning process is preferred in order to increase student's motivation as well as improve personal and professional growth of teachers.Another important part is the improvement of material and technical provisioning in accordance with current trends in the field of teaching and a deployment of solutions based on information and communication technologies such as [21], automatic assessment in visual form [2], or automatic assessment of homework assignments [19] too.
Valuable information, which can be obtained through questionnaire surveys, could help achieving positive changes in methods of teaching and teacher's self-reflection on teaching a certain course.Students can anonymously express their individual opinions and the reasons for their attitude to the course.Based on that, a teacher can obtain information about the interest or lack thereof in the course.
There are already several works using Audience Response Systems (ARS) for electronic interaction between lecturers and audience.In [12], Jackowska et al. compare results of learning outcomes of the students taught with and without question-based learning methodology.The approach of Pietriková [17] provides a survey on utilization possibilities of ARS in various forms, with a focus on particular advantages.
Our work began with the design of the web portal from the diploma thesis [16].The expected result of this work will be a CMS Drupal program module that is used to complete the questionnaires by students from the oficial course website at https://tt.kpi.fei.tuke.sk/.Filling them should be simple, fast, and effective, and is usually performed in the computer laboratory room.
The purpose of this work is to analyze the questionnaire surveys on the Type Theory course and based on this analysis, suggest the functionality and layout of the website.In this contribution we propose a basic structure and functionality of the website and also a physical database model that can be used while creating the database.We also analyze the methods of questionnaire evaluation.Then we propose a conceptual, logical and physical database model, which shows the possibility of implementing a database for MySQL database system [15].Finally, we have designed web page items before and after successful user authentication.
In the next section we describe a database system used for storing questionnaire data and the corresponding data model.In Section 3 we present the design of a website, its structure, and menu system.In Section 4 we focus on questionnaires, their analysis, for which we also give a case study.Finally, we conclude the paper.

APPLICATION ARCHITECTURE
We built our Information and Communications Technologies (ICT) solution on client-server architecture based on high-quality, stable, and scalable open-source server software available via Debian GNU/Linux distribution Jessie [6].The main reason for choosing this distribution is a precise package management system, where system tools give the administrator complete control over the packages that are already installed, including the ability to automatically update the whole operating system.Nowadays a plethora of technologies are used for the presentation of various information on the web, e.g., hypertext language (HTML) [14] through PHP scripting [4,5], together with MySQL database back-end [15].To link the database and the website through PHP, we used the Drupal content management system, which enables flexible generating, editing, and management of websites, as well as adding multimedia content and setting access rights for users.See Fig. 1 for a graphical representation of the relations between the main modules of the application.
A user sends a client request using a web browser to the CMS website deployed on the Apache web server [23].The server receives the request and handles it via PHP script of the corresponding CMS module.Furthermore, it uses PHP commands to connect to the MySQL database and queries for the content that belongs to the requested web page.The database then serves back the requested content, which is afterward displayed as the content on the CMS website.

DATABASE DESIGN
An important part of the application design process is an examination of ways to store information in a database.Our application is built with Drupal Content Management System [8], which offers only relational and embedded databases.For our work it is necessary that the database system supports the following characteristics: • quick search of data, • easy to work with the database, • availability of data, • simple modification using SQL commands, • content management system (CMS) Drupal compatibility, and • the database management system (DBMS) [11], the code of which is available under the terms of the GNU General Public License.
In addition to Drupal's compatible DBMS, we have examined the following ones: MySQL [15], Postgres [18], and SQLite [20].Based on the above characteristics we have selected the Drupal's DBMS.In order to take advantage from the created database, it has to be linked with a website via client-server network architecture.
The life cycle of a database creation consists of several phases, such as setting goals, gathering requirements, database design, implementation, creating the prototype, filling the database, testing, service, and maintenance.It is important to create a database model, which consists of a conceptual, logical, and physical database model.The conceptual model shows the reality and relationships between data.It can be represented by a class diagram, showing relations and attributes of the classes, or by an entity relationship diagram, which describes database with entities, relations, and attributes [13].
We chose to represent the conceptual model (Fig. 6) with the entity relationship diagram, which we created using the Enterprise Architect [9] modeling tool.See Fig. 6 for the diagram (entities are depicted as rectangles and attributes as ellipses that are linked with each other).
Logical model is more specific and provides independence from specific database systems.We developed it in Toad Data Modeller [7] modeling tool that is used for design, development, and maintenance of database systems.A physical database model describes the structure of the database data in more details, representing a realization of the system in a specific environment.To create the physical model of our application we used a Toad Data Modeller modeling tool, in which the target database system was set to MySQL.The physical model supports data types such as Integer, Varchar or Bool and restrictions as NN (Not Null), which disallows the empty value.See Fig. 3 for the graphical representation of the physical model of our application.

WEBSITE DESIGN
The website has a certain structure and layout that depends on the topic and the required results.We propose that the website design should contain the following: • After selecting a questionnaire bookmark, a text information for respondents will be displayed that contains the purpose of questionnaire surveys and short information about them.Furthermore, there will be information about the name of the course, which questionnaires belong to, and the name of each questionnaire, which are served by buttons.
• A page will be displayed asking for a valid password that a lecturer has set beforehand by clicking the questionnaire title.
• The questionnaire will be followed by a page after successful password verification, where a request to enter the identifier is shown.Each student should receive the identifier from the lecturer.The identifier will be randomly generated and is used only for grouping responses from the students.This page structure will be valid for access to each type of questionnaire.Pages for the specific questionnaires are different in their structure, and type of questions and answers.
• The information about questionnaire, concrete types of questions and responses, optional explanations for completing questionnaires will be displayed for each survey.
• The gratitude for sharing their opinions and thoughts will displayed to students after completing each questionnaire.
The following options are displayed to the teacher: • login using his own credentials, • showing answers from individuals or groups of students, • filtering desired responses using various criteria, such as academic year, the lecturer and specific question, • showing basic statistical measures obtained from the replies of students, and • saving, reporting, and printing of obtained statistical values.
Fig. 4 Main menu for generic users The main menu of the portal is designed for generic users (see Fig. 4), as well as authenticated users (see Fig. 5).The following menu selections are available for generic users: • Course information comprised of basic information about the Type Theory course, for example study degree, study programme, field of study, semester, teaching form, assessment methods, credits, and teachers.
• News that consist of actual information about the course.
• Forum which serves as a electronic discussion web portal between students and teachers.
• FAQ (Frequently Asked Questions).After the successful authentication, an extended menu is presented to the user.It consists of additional menu selections: • Lectures, i.e., individual lectures that are presented by guarantee of the course in pdf file format, • Exercises, that consists of electronic material related to proofs and evaluation of treated terms, • Materials the actual electronic university textbooks, materials related to the course, and • Questionnaires that includes Semantic differential, Cloze test and other surveys that are intended to improve the quality of educational process.

QUESTIONNAIRES
Anonymous questionnaires are "speechless interviews" between the teacher and students, intended to improve the teaching methods, as well as the essence of how a teacher can perform their own introspection and self-reflection from the pedagogical point of view.
The analysis of the proposed questionnaires is the basis for further work.It is necessary to know what questions should be included, whether they are suitable for what we want to find out, and whether they really help us to discover what we need.We considered the following types of questionnaires [10]: • questionnaire for evaluation of a teaching unit, and • questionnaire to determine the quality of teaching.
Cloze test is a common empirical comprehension test used to measure how difficult a text is to be read and understood by respondent [1].Semantic differential is a type of a rating-scale public inquiry, designed to measure the respondent attitudes to teacher's and student's characteristics.Questionnaire for evaluation of a teaching unit is an immediate student's feedback on the course, and questionnaire to determine the quality of teaching is a comprehensive view of a student on the course at the end of the semester.
We used the following mathematical formulae to obtain veritable values: Arithmetic mean of the sample calculated by means of where x 1 , x 2 , . . ., x n are the field values and n is the respondents count.
Standard deviation of the sample calculated as where x is the concept average value, x 1 , x 2 , . . ., x n are field values, and n is the fields count.
In this paper we will deal in more detail Semantic differential questionnaire [22] for Type theory that consists of 14 pairs of properties.Each pair is evaluated by students on a scale of values from 1 to 7, where value 1 is the worst evaluation and 7 is the best.See Table 1 for results of the questionnaire given to the class of 20 students during 2013/2014 academic year.
The characteristic properties in this table are divided into three dimensions: 1. antagonistic particular properties, 2. average values obtained at the beginning of the semester and 3. average values obtained at the end of the semester.
The students filled two questionnaires with the appropriate items.In the first one they gave their own opinion related to desired properties of the student.The other one is related to teacher's desired properties.The columns teacher and student represent results from these questionnaires.We have processed results from Table 1 into graphs depicted in Fig. 7 and Fig. 8 where the x-axis depicts treated properties and x-axis represents scale of the permissible values.
Based on the data obtained from the Semantic differential and our own observations, we get the following conclusions: • The test results give feedback to the teacher's valued features, such as Acumen, gladness, relaxation, activity, etc.
• Deterioration occurs in the evaluation of predictability, where students at the end of the semester answered that teacher is more predictable, which can mean easier style of learning for students, but for the lecturer it does not have to have a positive impact on the course.
The evaluation of properties in Table 1 at the beginning of semester and at the end of the semester is not very different.Very small positive or negative changes in certain values suggest that the perception of the terms by students had not been changed significantly, and that the value of terms and properties is relatively positive.

CONCLUSIONS
In this work we have analyzed appropriate software development processes and methods for Type Theory courses questionnaire management system.We have chosen wellknown method, called Semantic differential, which uses subjective ratings of individual students.
Using this method we have examined changing students' perceptions of the teacher as well as other students over time (at the beginning and the end of the semester).
The results obtained from individual questionnaires collected exploratory information about chosen student's and teacher's properties.The collected data was statistically processed and evaluated.Based on that, we get the knowledge about the quality of teaching and a possibility how the teacher can obtain appropriate self-reflection.
For further improvement of the Type Theory course at the web, we would like to extend our approach in the future with the the possibility of developing a prototype that will be designed for courses taught at the Department of Social Sciences too, together with their cooperation.

Fig. 1
Fig. 1 Environment for implementation of program module

Fig. 5
Fig. 5 Main menu for authenticated users

Table 1
Comparison of average values of items before and after