: Property Driven Development is a methodology to check the validity of a distributed application and its conformance to specified requirements. A first prototype supporting this...
With the advent of UML and MDA, models play an increasingly important role in software development. Hence, the management of the quality of models is of key importance for complet...
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
This paper addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarant...
Egor Bondarev, Peter H. N. de With, Michel R. V. C...
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
Gregor Engels, Reiko Heckel, Gabriele Taentzer, Ha...