Understanding program dependencies in a computer program is essential for many software engineering tasks such as program understanding, testing, debugging, reverse engineering, a...
We develop an information?theoretic analysis of dependencies between image wavelet coefficients. The dependencies are measured using mutual information, which has a direct link wi...
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
models evolve at different levels of abstraction, from the requirements specification to development of the source code. The models underlying this process are related and their ...
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
Paolo Donzelli, Daniel Hirschbach, Victor R. Basil...