Informatics in Education

Nowadays, few professionals understand the techniques and testing criteria to systematize the software testing activity in the software industry. Towards shedding some light on such problems and promoting software testing, professors in the area have established Massive Open Online Courses as educational initiatives. However, the main limitation is the professor’s lack of supervision of students. A conversation agent called TOB-STT has been defined in trying to avoid the problem. A previous study introduced TOB-STT; however, it did not analyze its efficacy. This article addresses a controlled experiment that analyzed its efficacy and revealed it was not expressive in its current version. Therefore, we conducted an in-depth analysis to find what caused this result and provided a detailed discussion. The findings contribute to the TOB-STT since the experimental results show that improvements need to be made in the conversational agent before we use it in Massive Open Online Courses.

The Bebras challenge offers pupils and teachers an engaging opportunity to discover informatics, by solving small tasks that aim at promoting computational thinking. Explanations and comments that reveal the computing concepts underlying the tasks are published after the contest, and teachers are encouraged to use this material in their school practice. In this paper we present an exploratory study aimed at investigating how teachers can make use of Bebras material; in particular our interest is understanding whether teachers are able to identify, comprehend, and apply the computing concepts implied by Bebras tasks, and how they can integrate them into their teaching practice. We qualitatively analyzed teaching projects developed by Italian teachers during a workshop on computing education and based on Bebras tasks; the analysis shows that teachers are in general able to build upon the tasks soundly, but it also raises some critical issues.

In this study, effectiveness of a computer science course at the secondary school level is investigated through a holistic approach addressing the dimensions of instructional content design, development, implementation and evaluation framed according to ADDIE instructional design model where evaluation part constituted the research process for the current study. The process has initiated when the computer science curriculum had major revisions in order to provide in-service teachers with necessary support and guidance. The study is carried through as a project, which lasted more than one year and both quantitative and qualitative measures were used through a sequential explanatory method approach. The intention was to investigate the whole process in detail in order to reveal the effectiveness of the process and the products. In this regard, not only teachers' perceptions but also students' developments in their perceptions of academic achievement and computational thinking, as well as correlations between the computational thinking sub-factors were investigated. The findings showed that the instructional materials and activities developed within the scope of the study, positively affected the computational thinking and academic achievement of students aged 10 and 12 years old. The teachers' weekly feedbacks regarding application structures and implementation processes were also supported the findings and revealed some more details that will be useful both for instructional designers and teachers.

Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does not hold also for secondary level education. We present a heterogeneous study both theoretical based and empirically based which points out the key role of logic in computer science, computer science education and knowledge representation. We focus on the key contrast of semantics and syntax, the resolution principle as a leading inference technique (giving also interesting non-clausal generalization of the rule). Further we discuss the possibilities of inclusion the non-classical (many-valued) logics in education together with the original generalization of the non-clausal resolution rule into fuzzy logic. The last part describes partial results of the research concerning the secondary education in the Czech Republic especially in the mathematical logic field. The generalization of the presented ideas entails the article.

Distance learning programs have rapidly increased during the past few decades. In fall 2000 the University of Joensuu started to offer distance Computer Science (CS) studies to the high school students in surrounding rural areas of Joensuu. In this program high school students study the first year's university level CS studies over the web simultaneously with their regular high school studies. We describe the creation process of our virtual curriculum which is based the so-called Candle scheme. The Candle scheme search the most essential principles needed in on-line course design, supporting a student locally in her authentic learning needs via electronic tools in a light way. With the Candle scheme we have successfully focused in our design process on the most essential parts of the virtual study process. Our experiences of the Candle scheme in the creation process of the on-line CS program during years 2000-2002 indicate that the scheme is the functional one and expandable to other contexts as well.