In current-day software development, programmers often use programming patterns to clarify their intents and to increase the understandability of their programs. Unfortunately , most software development environments do not adequately support the declaration and use of such patterns. To explicitly codify these patterns, we adopt a declarative… (More)
Typically, multiple developers are involved in the various stages of the software development and maintenance process. To ensure an optimal transfer of knowledge between these different peers, a reliable human-readable model of the dynamics of a software artefact is needed. Once these models become machine-verifiable, they can be used throughout an… (More)
The goal of this experience report is to identify some of the key problems of today's enterprises that have to deal with managing their large business critical software systems. Our motivation to do so is based on preliminary findings from the ARRIBA project. The work we present here form our preliminary conclusions of the first 6 months of the project,… (More)
The objective of this workshop was to discuss current tools and environments for learning object-oriented concepts and to share ideas and experiences about the usage of computer support to teach the basic concepts of object technology. Workshop participants presented current and ongoing research. During the discussions the participants developed a general "… (More)
This report summarizes the results of the seventh workshop in a series of workshops on learning object-oriented concepts. The focus of this workshop was on (computer-aided) support for the teaching and learning of basic object-oriented concepts.
Large organizations often rely on business rules to express their business constraints and very often these rules are scattered throughout different parts of the source code. Although call-stack context and other dynamic events provide a valuable view on (old) code, checking why the output of their system produces certain values remains a complex and… (More)