User:Laurent/Collections/Deploy Deliverable D6

From Event-B
Jump to navigationJump to search

Deploy Deliverable D6

Model Construction Tools and Analysis

Requirements management
The tutorial is currently incomplete. Also, add design documentation from Systerel
Requirements_Tutorial
ReqsManagement


UML integration
UML-B_Integration_and_Improvements
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
File_Root_Separation
Rodin_Index_Design
Index_Query
Indexing_System
Extending_the_Index_Manager
Single_View_Design
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
New_Proof_Rules
Measurement_Plug-In
Mathematical extensions
To be contributed by mjb in this wiki
Model animation and testing

available on stups wiki