There are a number of competing component models in use today. Most are language-independent, but also platform-dependent and not designed to support a tool-based development para...
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...
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...
Abstract. We present GUPU, a side-effect free environment specialized for programming courses. It seamlessly guides and supports students during all phases of program development, ...
This article compares traditional requirements engineering approaches and agile software development. Our paper analyzes commonalities and differences of both approaches and deter...