|
Students' Area
|
Date |
Info |
|
August 21 |
5. Projects' Grades |
|
August 7 |
4.
Deadline extension |
|
July 28 |
3.
Groups |
|
July 27 |
2. Project description |
|
July 18 |
1.
Projects |
5.Projects'
Grades:
Here the
grades of your projects (here).
4.Deadline extension:
The new project deadline is
Friday 12th.
3.Groups:
Here you
find the groups (here).
2.Project
Description:
Here you
find the project description (here).
1.Projects:
The project consists
in downloading and installing Charmy (from
www.di.univaq.it/charmy), installing the SPIN
model-checker, and to apply SA-based model-checking
to a given Software Architecture.
|