This paper presents work in progress to construct a model for guiding and evaluating the quality of featureoriented models, called FMQ. Product line concepts are becoming increasi...
With the development of more expressive description logics (DLs) for the Web Ontology Language OWL the question arises how we can properly deal with the high computational complexi...
Tuvshintur Tserendorj, Stephan Grimm, Pascal Hitzl...
Various common error sources affect the quality of a map, e.g., salt and pepper noise and other forms of noise that are more or less uniformly distributed over the map. But there ...
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
Functionality is one of the key concepts of knowledge about artifacts. Functional knowledge shows a part of designer's intention (so-called design rationale), and thus its sha...