Difference between revisions of "User:Laurent/Collections/Deploy Deliverable D6"
From Event-B
Jump to navigationJump to searchimported>Nicolas m (→Documentation) |
imported>Laurent m |
||
(3 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
== Deploy Deliverable D6 == | == Deploy Deliverable D6 == | ||
=== Model Construction Tools and Analysis === | === Model Construction Tools and Analysis === | ||
− | ;Requirements | + | ;Requirements Management |
The tutorial is currently incomplete. Also, add design documentation from Systerel | The tutorial is currently incomplete. Also, add design documentation from Systerel | ||
Line 9: | Line 9: | ||
− | ;UML | + | ;UML Integration |
:[[UML-B_Integration_and_Improvements]] | :[[UML-B_Integration_and_Improvements]] | ||
− | ;Improved | + | ;Improved Scalability |
Add list of bugs fixed and feature requests implemented from SF | Add list of bugs fixed and feature requests implemented from SF | ||
− | ==== | + | |
+ | |||
+ | ==== Bugs ==== | ||
+ | |||
{| | {| | ||
− | | | + | |
− | | | + | | 1789939 |
+ | | https://sourceforge.net/support/tracker.php?aid=1789939 | ||
|- | |- | ||
− | | | + | | 1815645 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1815645 |
|- | |- | ||
− | | | + | | 1819239 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1819239 |
|- | |- | ||
− | | | + | | 1826430 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1826430 |
|- | |- | ||
− | | | + | | 1834506 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1834506 |
|- | |- | ||
− | | | + | | 1844097 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1844097 |
|- | |- | ||
− | | | + | | 1877750 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1877750 |
|- | |- | ||
− | | | + | | 1881667 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1881667 |
|- | |- | ||
− | | | + | | 1888157 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1888157 |
|- | |- | ||
− | | | + | | 1892830 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1892830 |
|- | |- | ||
− | | | + | | 1892973 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1892973 |
|- | |- | ||
− | | | + | | 1920747 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1920747 |
|- | |- | ||
− | | | + | | 1920752 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1920752 |
|- | |- | ||
− | | | + | | 1944829 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1944829 |
− | |||
− | |||
− | |||
|- | |- | ||
| 1965795 | | 1965795 | ||
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1965795 |
|- | |- | ||
| 1965913 | | 1965913 | ||
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1965913 |
|- | |- | ||
− | | | + | | 2009577 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=2009577 |
+ | |- | ||
+ | | 2010628 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=2010628 | ||
+ | |- | ||
+ | | 2015055 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=2015055 | ||
+ | |- | ||
+ | | 2024819 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=2024819 | ||
+ | |- | ||
+ | | 2025895 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=2025895 | ||
+ | |- | ||
+ | | 2044233 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=2044233 | ||
+ | |- | ||
+ | | 2052874 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=2052874 | ||
+ | |- | ||
+ | | 2080420 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=2080420 | ||
|- | |- | ||
| 2094929 | | 2094929 | ||
− | | | + | | https://sourceforge.net/support/tracker.php?aid=2094929 |
+ | |- | ||
+ | | 2103640 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=2103640 | ||
|- | |- | ||
| 2103665 | | 2103665 | ||
− | | | + | | https://sourceforge.net/support/tracker.php?aid=2103665 |
+ | |- | ||
+ | | 2118336 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=2118336 | ||
+ | |- | ||
+ | | 2129884 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=2129884 | ||
+ | |- | ||
+ | | 2142052 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=2142052 | ||
|- | |- | ||
− | | | + | | 2149495 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=2149495 |
+ | |- | ||
+ | | 2189844 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=2189844 | ||
|- | |- | ||
| 2189903 | | 2189903 | ||
− | | | + | | https://sourceforge.net/support/tracker.php?aid=2189903 |
+ | |- | ||
+ | | 2204387 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=2204387 | ||
|- | |- | ||
| 2217041 | | 2217041 | ||
− | | | + | | https://sourceforge.net/support/tracker.php?aid=2217041 |
+ | |- | ||
+ | | 2220417 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=2220417 | ||
|- | |- | ||
− | | | + | | 2317037 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=2317037 |
|- | |- | ||
− | | | + | | 2338878 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=2338878 |
|- | |- | ||
| 2343565 | | 2343565 | ||
− | | | + | | https://sourceforge.net/support/tracker.php?aid=2343565 |
|- | |- | ||
− | | | + | | 2355262 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=2355262 |
|- | |- | ||
− | | | + | | 2380074 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=2380074 |
|- | |- | ||
− | | | + | | 2417413 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=2417413 |
|- | |- | ||
| 2417485 | | 2417485 | ||
− | | | + | | https://sourceforge.net/support/tracker.php?aid=2417485 |
|- | |- | ||
− | | | + | | 2417502 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=2417502 |
|- | |- | ||
− | | | + | | 2420471 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=2420471 |
|- | |- | ||
− | | | + | |} |
− | | | + | |
+ | |||
+ | ==== Feature Requests ==== | ||
+ | |||
+ | {| | ||
+ | |||
+ | | 1798741 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=1798741 | ||
|- | |- | ||
− | | | + | | 1866811 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1866811 |
|- | |- | ||
− | | | + | | 1889467 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1889467 |
|- | |- | ||
− | | | + | | 1919449 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1919449 |
|- | |- | ||
− | | | + | | 1922293 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1922293 |
|- | |- | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
| 1929719 | | 1929719 | ||
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1929719 |
|- | |- | ||
| 1949585 | | 1949585 | ||
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1949585 |
|- | |- | ||
− | | | + | | 1986646 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=1986646 |
|- | |- | ||
| 2014350 | | 2014350 | ||
− | | | + | | https://sourceforge.net/support/tracker.php?aid=2014350 |
− | |||
− | |||
− | |||
|- | |- | ||
| 2339257 | | 2339257 | ||
− | | | + | | https://sourceforge.net/support/tracker.php?aid=2339257 |
|- | |- | ||
− | | | + | | 2433478 |
− | | | + | | https://sourceforge.net/support/tracker.php?aid=2433478 |
|- | |- | ||
− | |||
− | |||
|} | |} | ||
+ | |||
==== Documentation ==== | ==== Documentation ==== | ||
Line 181: | Line 218: | ||
:[[Proof_Purger_Interface]] | :[[Proof_Purger_Interface]] | ||
:[[Proof_Purger_Design]] | :[[Proof_Purger_Design]] | ||
− | :[[ | + | :[[Proof_Skeleton_Design]] |
:[[Proof_Skeleton_View]] | :[[Proof_Skeleton_View]] | ||
Line 193: | Line 230: | ||
:[[Measurement_Plug-In]] | :[[Measurement_Plug-In]] | ||
− | + | :[[Mathematical Extensions]] | |
− | |||
− | |||
− | ;Model | + | ;Model Animation and Testing |
[http://www.stups.uni-duesseldorf.de/wiki/index.php/Deploy_Year_1_Activities available on stups wiki] | [http://www.stups.uni-duesseldorf.de/wiki/index.php/Deploy_Year_1_Activities available on stups wiki] | ||
[[Category:Collections]] | [[Category:Collections]] |
Latest revision as of 13:38, 28 January 2009
Contents
Deploy Deliverable D6
Model Construction Tools and Analysis
- Requirements Management
The tutorial is currently incomplete. Also, add design documentation from Systerel
- UML Integration
- Improved Scalability
Add list of bugs fixed and feature requests implemented from SF
Bugs
Feature Requests
Documentation
- Model Animation and Testing