In this paper, we present a prototype tool that supports the systematic development of software architectures driven by quality requirements using architectural tactics. The tool ...
The contribution of this paper is a technique to assess whether software failures during operational use can invalidate the trust assumptions and, hence, the adequacy of the softw...
Scenarios that describe concrete behaviors of system play an important role in system development and in particular requirements engineering. Scenarios are informal, and are diffic...
We describe three case studies in the use of Basic LOTOS. The studies cover design recovery, requirements speci cation, and design activities. We also report lessons learned from ...
This short paper reports a pilot experiment conducted with master students, in which we investigated whether Fit test cases were helpful to clarify change requirements in a mainte...
Marco Torchiano, Filippo Ricca, Massimiliano Di Pe...