User:Laurent/Collections/Deploy Deliverable D6: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Laurent
initial incomplete version
 
imported>Laurent
mNo edit summary
 
(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 management
;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 integration
;UML Integration


Soton
:[[UML-B_Integration_and_Improvements]]


;Improved scalability
;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]]


Missing Rodin navigator documentation
:[[Single_View_Design]]
 
:[[Extending_the_project_explorer]]
:[[Extending_the_project_explorer]]


:[[Purging_Unused_Proofs]]
:[[Proof_Purger_Interface]]
:[[Proof_Purger]]
:[[Proof_Purger_Design]]
:[[Proof_Skeleton]]
:[[Proof_Skeleton_Design]]
:[[Proof_Skeleton_View]]


:[[EMF_framework_for_Rodin]]
:[[EMF_framework_for_Event-B]]


More documentation for text editor?
:[[Refactoring_Framework]]


Soton (Renaming)
:[[Parallel_Composition_using_Event-B]]
:[[Parallel_Composition_using_Event-B]]


Add page translated from Christophe's e-mail giving the requirements for the Measurement Plug-in.
:[[New_Proof_Rules]]
 
:[[Measurement_Plug-In]]
Add page translated from Son's e-mail about new proof rules developed by his students.


;Mathematical extensions
:[[Mathematical Extensions]]


Soton + ETH (outline proposals)
;Model Animation and Testing


;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

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
Model Animation and Testing

available on stups wiki

Retrieved from ‘https://wiki.event-b.org/index.php?title=User:Laurent/Collections/Deploy_Deliverable_D6&oldid=10770’