Difference between revisions of "D45 General Platform Maintenance"

From Event-B
Jump to navigationJump to search
imported>Tommy
m
imported>Tommy
m
Line 1: Line 1:
 
= Overview =
 
= Overview =
 
Concerning Rodin's General Platform Maintenance the following contributions have been made:
 
Concerning Rodin's General Platform Maintenance the following contributions have been made:
* An overview of the contribution about platform maintenance (Thomas Muller)
+
* An overview of the contribution about the improved performance (Laurent Voisin, Nicolas Beauger, Thomas Muller)  
* An overview of the contribution about Mathematical extensions / Theory Plug-in (Issam Maamria)
+
* An overview of the contribution about th design pattern management / Generic Instantiation (Thai Son Hoang)  
* An overview of the contribution about Plug-in Incompatibilities (All partners)
+
* An overview of the contribution about the edition (Thomas Muller, Ingo Weigelt)  
* An overview of the contribution about Modularisation (Alexei Illiasov)
 
* An overview of the contribution about Decomposition (Renato Silva)
 
* An overview of the contribution about Team-based Development (Colin Snook, Vitaly Savicks)
 
* An overview of the contribution about UML-B (Colin Snook, Vitaly Savicks)
 
* An overview of the contribution about ProR (Michael Jastram)
 
  
 
= Motivations =
 
= Motivations =
  
== Platform maintenance ==
+
== Improved Performance ==
''To be completed by Thomas Muller''
+
''To be completed by Laurent Voisin, Nicolas Beauger, Thomas Muller''
== Mathematical extensions / Theory Plug-in ==
+
== Design Pattern Management / Generic Instantiation ==
''To be completed by Issam Maamria''
+
''To be completed by Thai Son Hoang''
== Plug-in Incompatibilities ==
+
== Edition ==
''To be completed by all partners''
+
''To be completed by Thomas Muller, Ingo Weigelt''
== Modularisation ==
 
''To be completed by Alexei Illiasov''
 
== Decomposition ==
 
''To be completed by Renato Silva''  
 
== Team-based Development ==
 
''To be completed by Colin Snook, Vitaly Savicks''  
 
== UML-B ==
 
''To be completed by Colin Snook, Vitaly Savicks''
 
== ProR ==
 
''To be completed by Michael Jastram''
 
  
 
= Choices / Decisions =
 
= Choices / Decisions =
== Platform maintenance ==
+
== Improved Performance ==
''To be completed by Thomas Muller''
+
''To be completed by Laurent Voisin, Nicolas Beauger, Thomas Muller''
== Mathematical extensions / Theory Plug-in ==
+
== Design Pattern Management / Generic Instantiation ==
''To be completed by Issam Maamria''
+
''To be completed by Thai Son Hoang''
== Plug-in Incompatibilities ==
+
== Edition ==
''To be completed by all partners''
+
''To be completed by Thomas Muller, Ingo Weigelt''
== Modularisation ==
 
''To be completed by Alexei Illiasov''
 
== Decomposition ==
 
''To be completed by Renato Silva''  
 
== Team-based Development ==
 
''To be completed by Colin Snook, Vitaly Savicks''  
 
== UML-B ==
 
''To be completed by Colin Snook, Vitaly Savicks''
 
== ProR ==
 
''To be completed by Michael Jastram''
 
  
 
= Available Documentation =
 
= Available Documentation =
* Links for Platform maintenance
+
* Links for Improved Performance
* Links for Mathematical extensions / Theory Plug-in
+
* Links for Design Pattern Management / Generic Instantiation
* Links for Plug-in Incompatibilities
+
* Links for Edition
* Links for Modularisation
 
* Links for Decomposition
 
* Links for Team-based Development
 
* Links for UML-B
 
* Links for ProR
 
  
 
= Status =
 
= Status =
== Platform maintenance ==
+
== Improved Performance ==
''To be completed by Thomas Muller''
+
''To be completed by Laurent Voisin, Nicolas Beauger, Thomas Muller''
== Mathematical extensions / Theory Plug-in ==
+
== Design Pattern Management / Generic Instantiation ==
''To be completed by Issam Maamria''
+
''To be completed by Thai Son Hoang''
== Plug-in Incompatibilities ==
+
== Edition ==
''To be completed by all partners''
+
''To be completed by Thomas Muller, Ingo Weigelt''
== Modularisation ==
 
''To be completed by Alexei Illiasov''
 
== Decomposition ==
 
''To be completed by Renato Silva''  
 
== Team-based Development ==
 
''To be completed by Colin Snook, Vitaly Savicks''  
 
== UML-B ==
 
''To be completed by Colin Snook, Vitaly Savicks''
 
== ProR ==
 
''To be completed by Michael Jastram''
 
  
 
[[Category:D45 Deliverable]]
 
[[Category:D45 Deliverable]]

Revision as of 11:21, 7 November 2011

Overview

Concerning Rodin's General Platform Maintenance the following contributions have been made:

  • An overview of the contribution about the improved performance (Laurent Voisin, Nicolas Beauger, Thomas Muller)
  • An overview of the contribution about th design pattern management / Generic Instantiation (Thai Son Hoang)
  • An overview of the contribution about the edition (Thomas Muller, Ingo Weigelt)

Motivations

Improved Performance

To be completed by Laurent Voisin, Nicolas Beauger, Thomas Muller

Design Pattern Management / Generic Instantiation

To be completed by Thai Son Hoang

Edition

To be completed by Thomas Muller, Ingo Weigelt

Choices / Decisions

Improved Performance

To be completed by Laurent Voisin, Nicolas Beauger, Thomas Muller

Design Pattern Management / Generic Instantiation

To be completed by Thai Son Hoang

Edition

To be completed by Thomas Muller, Ingo Weigelt

Available Documentation

  • Links for Improved Performance
  • Links for Design Pattern Management / Generic Instantiation
  • Links for Edition

Status

Improved Performance

To be completed by Laurent Voisin, Nicolas Beauger, Thomas Muller

Design Pattern Management / Generic Instantiation

To be completed by Thai Son Hoang

Edition

To be completed by Thomas Muller, Ingo Weigelt