With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...
The Internet today can be seen as a global market for electronic services. Each provider can offer its services, and customers can choose between several providers offering simila...
In this paper we present a new model of Java programs. We show how a program can be compiled into the model. The model can be directly used by a model-based diagnosis engine in ord...
Abstract – Current approaches to establish or improve precision of registration and execution in (surgical) robotics, especially milling applications, mostly aim at determining a...