: Object-oriented programs Dahl, Goldberg, Meyer are notoriously prone to the following kinds of error, which could lead to increasingly severe problems in the presence of tasking
The article describes semi-symbolic methods for the analysis of control and signal processing systems, including static and dynamic uncertainties. This above mentioned semi-symbol...
Christoph Grimm, Wilhelm Heupke, Klaus Waldschmidt
: The Web Services architecture defines various specifications that applications may wish to use in combination. In this paper, we investigate the composition of the Web services s...