We describe the goals of the ATTEST project, which started in March 2002 as part of the Information Society Technologies (IST) programme, sponsored by the European Commission. In ...
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating ...
A large software project may be distributed over multiple sites when the organization believes that there are not enough people to staff a single collocated team. However, previou...
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
Stefania Gnesi, Diego Latella, Gabriele Lenzini, C...
Data from several projects show a significant relationship between the size of a module and its defect density. Here we address implications of this observation. Does the overall ...