This report summarizes presentations and discussions of the IEEE WETICE 2003 Workshop on Knowledge Management for Distributed Agile Processes. The main goals of the workshop were ...
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan K...
We present Tefkat, an implementation of a language designed specically for the transformation of MOF models using patterns and rules. The language adopts a declarative paradigm, w...
This paper discusses the use of contextual reasoning, i.e. context transformation for achieving semantic interoperability in heterogeneous information systems. We introduce termino...