We report about a recently developed “Formal Framework for Incremental Model Slicing”, published in [Ta18]. A model slice of a model is a submodel comprising a selected model part, called slicing criterion. In addition to classical use cases from the field of program understanding, model slicing is also motivated by ...

In this work, we report about recent research results on “Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models”, published in [Ge18]. During the whole life-cycle of software-intensive systems in safety-critical domains, system models must consistently co-evolve with quality evaluation models. ...

In this work, we report about recent research results on ÒInferring Visual Contracts from Java ProgramsÓ, published in [1]. In this paper, we propose a dynamic approach to reverse engineering visual contracts from Java programs based on tracing the execution of Java operations. The resulting contracts give an accurate ...