In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
This paper proposes a method which assists the firms for cooperating in make-to-order production. We especially focus on the operational decision levels of manufacturing companies ...
Emmanuelle Monsarrat, Cyril Briand, Patrick Esquir...
In this paper we discuss the integration of two systems that are based on a specific theory of argumentation: the first, an existing web-based discussion forum; the second, a metho...
The management of the relationship between student and learning environment during an e-learning process is a fundamental item both from the pedagogical and technical point of vie...
Anna Angelini, Enrica Gentile, Umberto Ostello, Pa...
This paper presents a development process with particular focus on non-functional properties. The process is built around the concept of measurements at different levels of abstra...