The verification of systems with respect to a desired set of behavioural properties is a crucial
step in increasing our confidence that these systems will correctly function under all …

In this work we present a type graph that models all executable constructs of the Java
programming language. Such a model is useful for any graph-based technique that relies on …

Fresco is a methodology that allows for the dynamic adaptation of component-oriented
applications. Fresco aims to support the developer in the realization of dynamic adaptation …

State transfer between versions is one of the most difficult challenges related to online
upgrading. This position paper describes a methodology that attempts to solve this problem …

Models can be used in many stages of many different processes, but in so ware
engineering, the ultimate purpose of modelling is oft en code generation. While code can be …

In the literature, a large number of algorithms have been proposed for software
modularization. As the software modularization process is unsupervised, there are neither …

Program comprehension plays an important role in software maintenance and evolution
processes. However, during the process of software evolution, the software architecture may …

Abstract Dynamic Software Evolution is concerned with application changes that occur at
runtime. By avoiding application shutdown, dynamic software evolution preserves runtime …

Models can be used in many stages of many different processes, but in software
engineering, the ultimate purpose of modelling is often code generation. While code can be …

A lack of up-to-date software documentation hinders the processes of software evolution and
maintenance, as the structure and code of the software can be misunderstood. One …