The goal of OWL (Object-Oriented Workplace Laboratory) is to provide an object-oriented and component-based framework that supports the engineering of applications for the design, ...
Database systems as basis for CAD frameworks have to provide data management as well as transaction management facilities meeting the requirements of design applications. One of t...
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
Software component technology facilitates the costeffective development of specialized applications. Nevertheless, due to the high number of principals involved in a component-str...
: The IS development industry is currently undergoing profound changes. The well established, large system developers (hubs) take the lead in establishing partner networks with muc...