Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
Pancreas segmentation in 3-D computed tomography (CT) data is of high clinical relevance, but extremely difficult since the pancreas is often not visibly distinguishable from the...
Marius Erdt, Matthias Kirschner, Klaus Drechsler, ...
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
An important requirement of model transformations is the preservation of the behavior of the original model. A model transformation is semantically correct if for each simulation r...
Currently, system engineering problems are solved using a wide range of domain-specific models and corresponding languages. It is unlikely that a single unified modeling language ...