The development of games in aid of improving and enriching a student's learning experience is again on the rise. The beer game [6] in the field of system dynamics was develop...
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
This paper presents the development of the Tourist Guide, a location based tourist guide application for the outdoor environment. Our focus for this project is on software support...
Todd Simcock, Stephen Peter Hillenbrand, Bruce H. ...
Abstract-- In this article we present a visual development environment for writing DyLOG programs, explaining the motivations to this work and the main design choices. We will also...
Using model-based development has shown to increase efficiency and effectiveness of software production. However, with software as an integral part of products with customized fu...