Part I presents a model of interactive computation and a metric for expressiveness, part II relates interactive models of computation to physics, and part III considers empirical models from a philosophical perspective. Interaction machines, which extend Turing machines to interaction, are shown in Part I to be more expressive than Turing machines by a direct proof, by adapting Godel’s incomple...

This talk sets out the problem domain for model transformation and introduces a set of use cases for transformation including model differencing, pattern expansion, model merging and weaving, alternate views and generation of platform specific artifacts from a platform independent model. The talk also discusses where model transformation fits into the development process and who we can expect t...

The computing profession is the people and institutions that have been created to take care of other people's concerns in information processing and coordination through worldwide communication systems. The profession contains various specialties such as computer science, computer engineering, software engineering, information systems, domain-specific applications, and computer systems. The dis...

Computer science is a diverse, exciting, and rapidly expanding discipline. Inevitably the research community pulls itself in different directions, sometimes with the result that visionary research may be under-valued. This paper explores systemic issues of general applicability with the aim of understanding and hence valuing the diversity.

The role and importance of serious computer games in contemporary educational practice is presented in this paper as well as the theoretical fundamentals that justify their use in different forms of education. We present a project for designing and developing serious games that take place within the curriculum for computer science teachers’ education as an independent project work in teams. In ...

Although I am not an engineer who adapted himself to computer science but a mathematician who did so, I am familiar enough with the development, concepts, and activities of this new discipline to venture an opinion of what must be adapted to in it. "Computer and Information Science" is known as "Informatics" on the European continent. It was born as a distinct discipline barely a generation ago...