: The modeling of strategies for deriving valid project plans is a core task in development process’s design. Strategies are used for planning and for the validation of concrete ...
: "The only constant is change" is an often cited phrase. We regard it as predominant for the area of process based information systems. In this paper we investigate how ...
Stefan Jablonski, Bernhard Volz, Sebastian Dornsta...
This paper focuses on the improvement of the conceptual structure of FrameNet for the sake of applying this resource to knowledgeintensive NLP tasks requiring reasoning, such as q...
Abstract. We present a type and effect system for a multi-staged language with exceptions. The proposed type and effect system checks if we safely synthesize complex controls with ...
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...