In this paper, Accountability Centered Approach (ACA) is proposed for business process engineering. The ACA approach enables the designers and users to focus on the requirements a...
1 To handle the complexity of modern software systems, a software comprehension strategy pointing out the al abstraction level is necessary. In this context, the role of technology...
Fabio Abbattista, Filippo Lanubile, Giuseppe Visag...
Software is an increasing and important part of many products and systems. Software, hardware, and system level components have been developed and produced following separate proc...
The knowledge of material specific film grain characteristics can significantly improve the performance of digital film processing algorithms. This paper proposes a rapid and reli...
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...