Computer Science Education: A Game to Teach Children about Programming

abstract: Computational thinking, the fundamental way of thinking in computer science, including information sourcing and problem solving behind programming, is considered vital to children who live in a digital era. Most of current educational games designed to teach children about coding either rely on external curricular materials or are too complicated to work well with young children. In this thesis project, Guardy, an iOS tower defense game, was developed to help children over 8 years old learn about and practice using basic concepts in programming. The game is built with the SpriteKit, a graphics rendering and animation infrastructure in Apple’s integrated development environment Xcode. It simplifies switching among different game scenes and animating game sprites in the development. In a typical game, a sequence of operations is arranged by players to destroy incoming enemy minions. Basic coding concepts like looping, sequencing, conditionals, and classification are integrated in different levels. In later levels, players are required to type in commands and put them in an order to keep playing the game. To reduce the difficulty of the usability testing, a method combining questionnaires and observation was conducted with two groups of college students who either have no programming experience or are familiar with coding. The results show that Guardy has the potential to help children learn programming and practice computational thinking.Dissertation/ThesisMasters Thesis Computer Science 201

Research accomplished at the Knowledge Based Systems Lab: IDEF3, version 1.0

An overview is presented of the foundations and content of the evolving IDEF3 process flow and object state description capture method. This method is currently in beta test. Ongoing efforts in the formulation of formal semantics models for descriptions captured in the outlined form and in the actual application of this method can be expected to cause an evolution in the method language. A language is described for the representation of process and object state centered system description. IDEF3 is a scenario driven process flow modeling methodology created specifically for these types of descriptive activities

Logic-Based Specification Languages for Intelligent Software Agents

The research field of Agent-Oriented Software Engineering (AOSE) aims to find abstractions, languages, methodologies and toolkits for modeling, verifying, validating and prototyping complex applications conceptualized as Multiagent Systems (MASs). A very lively research sub-field studies how formal methods can be used for AOSE. This paper presents a detailed survey of six logic-based executable agent specification languages that have been chosen for their potential to be integrated in our ARPEGGIO project, an open framework for specifying and prototyping a MAS. The six languages are ConGoLog, Agent-0, the IMPACT agent programming language, DyLog, Concurrent METATEM and Ehhf. For each executable language, the logic foundations are described and an example of use is shown. A comparison of the six languages and a survey of similar approaches complete the paper, together with considerations of the advantages of using logic-based languages in MAS modeling and prototyping.Comment: 67 pages, 1 table, 1 figure. Accepted for publication by the Journal "Theory and Practice of Logic Programming", volume 4, Maurice Bruynooghe Editor-in-Chie

Teachers' and fourth graders' questions during a problem-solving lesson

Peer reviewe

Modeling of Object-Oriented Programs with Petri Net Structured Objects

The article presents a method for constructing a model of an object-oriented program in terms of multilabeled Petri nets. Only encapsulation - one of the three concepts of object-oriented paradigm - is considered. To model a different aspects of encapsulation a Petri net structured object is proposed. It consists of a Petri net defining its behavior and a set of organized access points specifying its structural properties. Formal composition operations to construct a program model from the models of its methods, classes, objects, functions, and modules are introduced and a source code translation algorithm to Petri net representation is proposed. A special section of the article considers in detail a process of model construction of a real object-oriented program (OOP). Source code of the program, figures with Petri net objects modeling different elements of the program and the resulting model of the program are presented

Contributions to an anthropological approach to the cultural adaptation of migrant agents

This thesis proposes the use of Cultural Anthropology as a source of inspiration for solutions to the problem of adaptation of autonomous, intelligent, computational agents that migrate to societies of agents with distinctive features from the ones of the society where those agents were originally conceived. This has implications for interoperation of disparate Multi-Agent Systems. In particular, the cognitive approach to anthropology is argued to be a suitable theoretical foun-dation for this topic. Fieldwork practice in social anthropology is also indicated as an useful source of ideas. A pragmatic theory of intensionality is incorporated in this anthropological approach, resulting in a mechanism that allows agents to ascribe intensional ontologies of terms to societies that use unfamiliar means of communication; also, taxonomical relations among the terms in such ontologies can be retrieved, by means of a process inspired by the counterpart activity of ethnographers. This is presented using the Z notation for formal specification of systems, and illustrated on a set of terms from the game of cricket. Subsequently, a simulation of a game of cricket is described where one of the players is unfamiliar with the game, and therefore needs to learn the game by observing the other players. A reasonable behaviour for such a player is obtained, and the simulation offers grounds for further anthropologically-based studies. Further, a study of theories of moral sentiments is presented, and the Iterated Prisoner's Dilemma is used in simulations based on those ideas. The results of the simulations show clearly the positive impact, on groups of agents, of altruistic behaviour; this can only be coherently obtained in autonomous agents by modelling emotions, which are relevant for this project as anthropologists recognise them as an essential cross-cultural link. Finally, the consequences of this project to conceptions of Distributed Artificial Intelligence are discussed

Static Analysis of Circuits for Security

The purpose of the present work is to define a methodology to analyze a system description given in VHDL code and test its security properties. In particular the analysis is aimed at ensuring that a malicious user cannot make a circuit output the secret data it contains