Project management tools are mandatory to properly manage software projects. The teaching of the usage of these tools is carried out in higher education computer courses and, usually generic tools are adopted, such as MS-Project. However, their lack of educational features has motivated the development of several educational project management tools. This study aims at the analysis of such exis...

We introduce formal languages over infinite alphabets where words may contain binders. We define the notions of nominal language, nominal monoid, and nominal regular expressions. Moreover, we extend history-dependent automata (HD-automata) by adding stack, and study the recognisability of nominal languages.

Artificial Intelligence (AI) technology has developed computer tools for carrying out a number of tasks, simulating the intelligent way of problem solving by humans. AI techniques have also been identified as one of the most valuable applications in the field of special educational needs (SEN). The goal of these tools is to enhance the way children interact with their environment to promote lea...

Computer literacy is not negotiable for any professional in an increasingly computerised environment. Educational institutions should be equipped to provide this new basic training for modern life. Accordingly, computer labs are an essential medium for education in almost any field. Computer labs are one of the most popular IT infrastructures for technical training in primary and secondary scho...