Difference between revisions of "User:Laurent/Collections/Deploy Deliverable D6"
From Event-B
Jump to navigationJump to searchimported>Laurent (initial incomplete version) |
imported>Laurent m |
||
(18 intermediate revisions by 4 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]] | |
− | ;Improved | + | ;Improved Scalability |
+ | |||
+ | 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 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=1965795 | ||
+ | |- | ||
+ | | 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 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=2094929 | ||
+ | |- | ||
+ | | 2103640 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=2103640 | ||
+ | |- | ||
+ | | 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 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=2189903 | ||
+ | |- | ||
+ | | 2204387 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=2204387 | ||
+ | |- | ||
+ | | 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 | ||
+ | | 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 | ||
+ | | 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 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=1929719 | ||
+ | |- | ||
+ | | 1949585 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=1949585 | ||
+ | |- | ||
+ | | 1986646 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=1986646 | ||
+ | |- | ||
+ | | 2014350 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=2014350 | ||
+ | |- | ||
+ | | 2339257 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=2339257 | ||
+ | |- | ||
+ | | 2433478 | ||
+ | | https://sourceforge.net/support/tracker.php?aid=2433478 | ||
+ | |- | ||
+ | |} | ||
+ | |||
+ | |||
+ | ==== Documentation ==== | ||
:[[Undo_Redo_Design]] | :[[Undo_Redo_Design]] | ||
+ | :[[Undo_Redo]] | ||
+ | |||
+ | :[[File_Root_Separation]] | ||
:[[Rodin_Index_Design]] | :[[Rodin_Index_Design]] | ||
Line 22: | Line 213: | ||
:[[Extending_the_Index_Manager]] | :[[Extending_the_Index_Manager]] | ||
− | + | :[[Single_View_Design]] | |
− | |||
:[[Extending_the_project_explorer]] | :[[Extending_the_project_explorer]] | ||
− | :[[ | + | :[[Proof_Purger_Interface]] |
− | :[[ | + | :[[Proof_Purger_Design]] |
− | :[[ | + | :[[Proof_Skeleton_Design]] |
+ | :[[Proof_Skeleton_View]] | ||
− | :[[ | + | :[[EMF_framework_for_Event-B]] |
− | + | :[[Refactoring_Framework]] | |
− | |||
:[[Parallel_Composition_using_Event-B]] | :[[Parallel_Composition_using_Event-B]] | ||
− | + | :[[New_Proof_Rules]] | |
− | + | :[[Measurement_Plug-In]] | |
− | |||
− | + | :[[Mathematical Extensions]] | |
− | + | ;Model Animation and Testing | |
− | + | [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