With the release of FSAP/NuSMV-SA 0.9.5-2, we close Cycle 1 of the development of the application. The end of Cycle 1 has also been an occasion to re-think priorities and the functionality to be implemented in the future releases of the platform.
The new roadmap has been especially designed to focus on users' feedback and to provide priority to the functionality most requested by users. The functionality initially foreseen in the old release plan will be allocated in future releases of the platform.
Release No. |
Code Name |
Ideal New Features |
Ideal Release Date |
Actual Release Date |
Actual Features (Release Notes) |
---|---|---|---|---|---|
0.9.6 |
Thunderstorm |
New Features
Bug Fixes
Dependencies and Integration
|
15/07/2003 |
23/07/2003 |
|
0.9.7 |
- |
New Features
Bug Fixes Dependencies and Integration |
31/07/2003 |
N/A (see 0.9.8) |
n/a (see 0.9.8) |
0.9.8 |
Sunshine |
New Features
Bug Fixes Dependencies and Integration |
22/08/2003 |
15/09/2003 |
|
0.9.9 |
Tornado |
New Features
Bug Fixes
Dependencies and Integration |
25/09/2003 |
10/10/03 |
|
1.0.0 |
Sunrise |
New Features
Bug Fixes
Dependencies and Integration |
31/07/2005 |
01/08/2005 |
|
1.0.1 |
Sunrise |
New Features
Bug Fixes
Dependencies and Integration
|
- |
01/09/2005 |
|
1.1.0 |
|
New Features
Bug Fixes
Dependencies and Integration
|
16/11/2005 |
24/11/2005 |
|
1.1.1 |
|
New Features
Bug Fixes Dependencies and Integration
|
16/12/2005 |
16/12/2005 |
|
1.2.0 |
|
New Features
Bug Fixes
Dependencies and Integration
|
- |
07/03/2006 |
|
1.2.1 |
|
New Features
Bug Fixes Dependencies and Integration
|
- |
05/04/2006 |
|
1.2.2 |
|
New Features
Bug Fixes Dependencies and Integration
|
- |
22/05/2006 |
|
1.2.3 |
|
New Features
Bug Fixes
Dependencies and Integration
|
- |
03/08/2006 |
|
1.2.4 |
|
New Features
Bug Fixes
Dependencies and Integration
|
01/12/2006 |
18/12/2006 |
Last Update: 2005/08/01 15:41