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

From Event-B
Jump to navigationJump to search
imported>Nicolas
imported>Laurent
m
 
(15 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]]
Line 28: Line 216:
 
:[[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]]
 
:[[Proof_Skeleton_View]]
  
−
:[[EMF_framework_for_Rodin]]
+
:[[EMF_framework_for_Event-B]]
  
−
:[[New_Proof_Rules]]
+
:[[Refactoring_Framework]]
−
:[[Measurement_Plug-In]]
 
  
−
More documentation for text editor?
 
−
 
−
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’