Background: Petri nets are a formal specification technique for modelling of control processes and modern flexible manufacturing systems. Interpreted Petri nets take into account input and output signals, allowing to apply them in any control system or even in control part of a cyber-physical system. Due to the fact that Petri nets are not used in…

This research discusses the use of a gamified web platform for studying software modeling with Unified Modeling Language (UML). Although UML is constantly being improved and studied, many works show that there is difficulty in teaching and learning the subject, due to the complexity of its concepts and the students' cognitive difficulties with…

Education 4.0 (E4) aims to improve the teaching-learning process and democratize access to quality education by using Industry 4.0 technologies in educational environments. The main objective of this article is to propose a framework containing a package of policies and initiatives for the drivers of society (industry, government, and academia) to…

This article presents an experience report regarding the application of an Inclusive Model of Development of Accessible Learning Objects, in the Mathematics discipline, to help 8th year Elementary School children, to perform calculations with natural numbers. The Learning Object was developed using Scratch and accessibility guidelines to include…

This paper presents an approach to the initial programming learning using the four components instructional model and the Alice software. The quasi-experimental design was developed with two groups of students that attended two schools with very different socioeconomic status and school retention levels. The differences obtained in the mean of the…

The basis of the submitted study are the continuously rising demands to alter the curricula with the aim to develop students' key competences in order to increase their professional versatility. The lack of scientific research and discussions show that little investigation has been done on the issue of development of key competences. Therefore,…

The objective of this article is to present the development and evaluation of dETECT (Evaluating TEaching CompuTing), a model for the evaluation of the quality of instructional units for teaching computing in middle school based on the students' perception collected through a measurement instrument. The dETECT model was systematically developed…

The paper considers a problem of financial resource allocation in a higher education institution. The basic financial management instruments and the multi-stage cost minimization model created are described involving financial instruments to constraints. Both societal and institutional factors that determine the costs of educating students are…

As an international informatics contest, or challenge, Bebras has started the second decade of its existence. The contest attracts more and more countries every year, recently there have been over 40 participating countries. From a single contest-focused annual event Bebras developed to a multifunctional challenge and an activities-based…

The use of computers as teaching and learning tools plays a particularly important role in modern society. Within this scenario, Brazil launched its own version of the "One Laptop per Child" (OLPC) program, and this initiative, termed PROUCA, has already distributed hundreds of low-cost laptops for educational purposes in many Brazilian…

In this paper, we take a new look at the problem of analyzing course evaluations. We examine ten years of undergraduate course evaluations from a large Engineering faculty. To the best of our knowledge, our data set is an order of magnitude larger than those used by previous work on this topic, at over 250,000 student evaluations of over 5,000…

Programming is one of the basic subjects in most informatics, computer science mathematics and technical faculties' curricula. Integrated overview of the models for teaching programming, problems in teaching and suggested solutions were presented in this paper. Research covered current state of 1019 programming subjects in 715 study programmes at…

We present some results of an ongoing research project where university engineering students were asked to construct videogames involving the use of physical systems models. The objective is to help them identify and understand the elements and concepts involved in the modelling process. That is, we use game design as a constructionist approach…

Service modelling has become an increasingly important area in today's telecommunications and information systems practice. We have adapted a Network Design course in order to teach service modelling to a mixed class of both the telecommunication engineering and information systems backgrounds. An integrated approach engaging mathematics teaching…

There are many important issues in informatics and many agree that algorithms and programming are most important issues that need to be included in informatics education (Dagiene and Jevsikova, 2012). In this paper, we propose how some of these issues can be easily taught using the notion of a formal system which consists of axioms and inference…