EDG retreat

Session

Software Quality

27 Aug 2002, 10:30

Chavannes

Description

Presentation by Paolo Tonella on ideas for how to apply S/W quality, testing and verification measures to DataGrid.

We understand that some people will be traveling during this period.

1. SW Quality

Paolo Tonella

27/08/2002, 11:00

In this talk, the activities of the STAR research group at ITC-irst will be described, highlighting the available competences and presenting the ongoing application projects. Particular attention will be devoted to C++ code analysis, coding standards, and reverse engineering, given their potential impact on the quality of the Grid software.

2. Formal Methods for Software Quality

Alesandro Cimatti

27/08/2002, 11:30

In this talk, I will overview the activity carried out in Trento in the area of Formal Methods. In particular, I will focus on the technology of Model Checking, that allows for the analysis of requirements and designs in early stages of the development process. Automatic verification tools based on such technology can check the consistency of requirements, or analyze the behaviours of a...