Katharina Mehner

Aspects, dependencies and interactions (2009)

Mehner, Katharina, Chitchyan, Ruzanna, Bergmans, Lodewijk, Fabry, Johan, Sudholt, Mario

The topics on aspects, dependencies and interactions are among the key remaining challenges to be tackled by the Aspect-Oriented Software Development (AOSD) community to enable a wide adoption of...

Interaction Analysis in Aspect-Oriented Models (2008)

Katharina Mehner, Mattia Monga, Gabriele Taentzer

Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between aspects and base...

Improving Alignment of Crosscutting Features with Code in Product Line Engineering (2008)

Katharina Mehner

Feature models used in product line engineering often include features that crosscut other features. These features cannot be cleanly modularized using object-oriented techniques and are the source...

Interaction Analysis in Aspect-Oriented Models (2008)

Katharina Mehner, Mattia Monga, Gabriele Taentzer

Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between aspects and base...

Interaction Analysis in Aspect-Oriented Models (2008)

Katharina Mehner, Mattia Monga, Gabriele Taentzer

Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between aspects and base...

, Gregor Engels (2007)

Giorgio Busatto, Katharina Mehner, Annika Wagner

Abstract. Graphs are a commonly used formalism for modeling many dierent kinds of static and dynamic data. In many applications, data modeling can be improved by using hierarchically structured...

Supervisors: (2005)

Katharina Mehner, Prof Dr, Gregor Engels, Prof Dr, Stefan Jähnichen, ...

iii iv This thesis describes an approach for automated detection of concurrent liveness failures in the execution of Java programs. Concurrent programs are highly prone to failure because of the...

Using Guard Predicates for Generalized Control of Aspect Instantiation and Activation (2005)

Stephan Herrmann, Christine Hundt, Katharina Mehner, Jan Wloka

Many aspect-oriented programming languages employ static transformations in order to produce the executable system. Some aspects, however, should only be effective if certain conditions are fulfilled...

Mapping Use Case Level Aspects to ObjectTeams/Java (2004)

Stephan Herrmann, Christine Hundt, Katharina Mehner

Aspect-Oriented Software Development aims at supporting separation of crosscutting concerns throughout the full software lifecycle. In this contribution we focus on lifecycle support for crosscutting...

Mapping Use Case Level Aspects to Object Teams/Java (2004)

Stephan Herrmann, Christine Hundt, Katharina Mehner

Aspect-Oriented Software Development aims at supporting separation of crosscutting concerns throughout the full software lifecycle. In this contribution we focus on lifecycle support for crosscutting...

Translation polymorphism in Object Teams (2004)

Stephan Herrmann, Stephan Herrmann, Christine Hundt, Christine Hundt, Katharina Mehner, Katharina Mehner

In this paper we present the mechanisms of lifting and lowering which have been incorporated into recent programing languages. In these languages, lifting and lowering are key features in the...

Towards a Generic Model for AOP (GEMA) (2003)

Katharina Mehner, Awais Rashid

this report. While AOP is used to provide a common name for the above-mentioned, non-exhaustive list of approaches, a common agreement on the essential characteristics of AOP is still missing. Such...

Second Workshop on Aspect-Oriented Software Development (2002)

Pascal Costanza, Pascal Costanza, Günter Kniesel, Günter Kniesel, Andreas Speck (eds.), Katharina Mehner, ...

Syntax Trees 59 11 D. Vollmann Visibility of Join-Points in AOP and Implementation Languages 65 Part I Implementing and Reasoning about Aspects Reasoning About a Classification of Crosscutting...