Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java An Industrial Case Study.- Event Modularizing Domain-Specific Crosscutting RV Concerns.- Method Supporting Methods, Events and Advices by a Single Language Construct.- Modularity and Dynamic Adaptation of Flexibly Secure Model-Driven Adaptive Delegation in Access Control Management.- Effective A Typed Monadic Embedding of Point cuts and Advice.- Modular Specification and Checking of Structural Dependencies.- Towards Reactive Programming for Object-Oriented Applications.