PackUp: Tools for Package Upgradability Solving, System Description

PAEAN- A Risk-Mitigation Framework for Business Transaction at Run-time

Pat-Evol: Pattern-drive Reuse in Architecture-based Evolution for Service Software

Model-Driven Automation for Simulation-Based Functional Verification

Model-driven support for product line evolution on feature level

Modeling Rationale over Time to support Product Line Evolution Planning

Modelling Support for Mobile Ambients in Service Oriented Architecture

On monitoring overhead impact in wireless mesh networks

Multi-Agent Systems {textendash} Theory, Approaches and NASA Applications

MUSer2: An Efficient MUS Extractor, System Description