Computational Thinking (CT) has emerged in recent years as a thematic trend in education in many countries and several initiatives have been developed for its inclusion in school curricula. There are many pedagogical strategies to promote the development of elementary school students' CT skills and knowledge. Unplugged learning tasks, block-based…

Techniques from the branch of artificial intelligence known as machine learning (ML) have been applied to a wide range of problems in chemistry. Nonetheless, there are very few examples of pedagogical activities to introduce ML to chemistry students in the chemistry education literature. Here we report a computational activity that introduces…

An educational team founded by Seymour Papert at MIT has developed an evolving series of computing environments designed to facilitate computational thinking. Papert outlined the goal of developing educational environments to facilitate the use of computer as a computational object in a seminal publication, "Teaching Children Thinking"…

The objective of this research is to study the "Scratch" programming language as a didactic tool to teach functions. The introduction of didactic tools allowing comprehension in simple and attractive ways is required. Given the traditional teaching/learning system, it is necessary to organize participatory and collaborative dynamic…

Research indicates that understanding levels of abstraction (LOA) and being able to move between the levels is essential to programming success. For K-5 contexts we rename the LOA levels: problem, design, code and running the code. In our qualitative exploratory study, we interviewed five K-5 teachers on their uses of LOA, particularly the design…

Stepwise program refinement techniques can be used to simplify program verification. Programs are better understood since their main properties are clearly stated, and verification of rather complex algorithms is reduced to proving simple statements connecting successive program specifications. Additionally, it is easy to analyse similar…

Teaching advanced programming can be a challenge, especially when the students are pursuing different majors with diverse analytical and problem-solving capabilities. The purpose of this paper is to explore the efficacy of using a particular problem as a vehicle for imparting a broad set of programming concepts and problem-solving techniques. We…

One key issue in process-aware E-commerce collaboration is the orchestration of business processes of multiple business partners throughout a supply chain network in an automated and seamless way. Since each partner has its own internal processes with different control flow structures and message interfaces, the real challenge lies in verifying…

When first introduced to the analysis of algorithms, students are taught how to assess the best and worst cases, whereas the mean and amortized costs are considered advanced topics, usually saved for graduates. When presenting the latter, aggregate analysis is explained first because it is the most intuitive kind of amortized analysis, often…