Features have been widely used by the product line community to model variability. They represent the common and variable characteristics of the members of a product line. They ar...
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...
Due to their general and robust formulation deformable models offer a very appealing approach to 3D image segmentation. However there is a trade-off between model genericity, mode...
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
Software product lines (SPLs) allow to generate tailormade software products by selecting and composing reusable code units. However, SPLs with hundreds of features and millions o...
Norbert Siegmund, Martin Kuhlemann, Marko Rosenm&u...