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 the improved performance (Laurent Voisin, Nicolas Beauger, Thomas Muller)  
+
* {{TODO}} 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)  
+
* {{TODO}} 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)  
+
* {{TODO}} An overview of the contribution about the edition (Thomas Muller, Ingo Weigelt)  
  
 
= Motivations =
 
= Motivations =
  
 
== Improved Performance ==
 
== Improved Performance ==
''To be completed by Laurent Voisin, Nicolas Beauger, Thomas Muller''
+
{{TODO}} ''To be completed by Laurent Voisin, Nicolas Beauger, Thomas Muller''
 
== Design Pattern Management / Generic Instantiation  ==
 
== Design Pattern Management / Generic Instantiation  ==
''To be completed by Thai Son Hoang''
+
{{TODO}} ''To be completed by Thai Son Hoang''
 
== Edition ==
 
== Edition ==
''To be completed by Thomas Muller, Ingo Weigelt''
+
{{TODO}} ''To be completed by Thomas Muller, Ingo Weigelt''
  
 
= Choices / Decisions =
 
= Choices / Decisions =
 
== Improved Performance ==
 
== Improved Performance ==
''To be completed by Laurent Voisin, Nicolas Beauger, Thomas Muller''
+
{{TODO}} ''To be completed by Laurent Voisin, Nicolas Beauger, Thomas Muller''
 
== Design Pattern Management / Generic Instantiation  ==
 
== Design Pattern Management / Generic Instantiation  ==
''To be completed by Thai Son Hoang''
+
{{TODO}} ''To be completed by Thai Son Hoang''
 
== Edition ==
 
== Edition ==
''To be completed by Thomas Muller, Ingo Weigelt''
+
{{TODO}} ''To be completed by Thomas Muller, Ingo Weigelt''
  
 
= Available Documentation =
 
= Available Documentation =
* Links for Improved Performance
+
* {{TODO}} Links for Improved Performance
* Links for Design Pattern Management / Generic Instantiation
+
* {{TODO}} Links for Design Pattern Management / Generic Instantiation
* Links for Edition
+
* {{TODO}} Links for Edition
  
 
= Status =
 
= Status =
 
== Improved Performance ==
 
== Improved Performance ==
''To be completed by Laurent Voisin, Nicolas Beauger, Thomas Muller''
+
{{TODO}} ''To be completed by Laurent Voisin, Nicolas Beauger, Thomas Muller''
 
== Design Pattern Management / Generic Instantiation  ==
 
== Design Pattern Management / Generic Instantiation  ==
''To be completed by Thai Son Hoang''
+
{{TODO}} ''To be completed by Thai Son Hoang''
 
== Edition ==
 
== Edition ==
''To be completed by Thomas Muller, Ingo Weigelt''
+
{{TODO}} ''To be completed by Thomas Muller, Ingo Weigelt''
  
 
[[Category:D45 Deliverable]]
 
[[Category:D45 Deliverable]]

Revision as of 11:23, 7 November 2011

Overview

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

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

Motivations

Improved Performance

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

Design Pattern Management / Generic Instantiation

TODO To be completed by Thai Son Hoang

Edition

TODO To be completed by Thomas Muller, Ingo Weigelt

Choices / Decisions

Improved Performance

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

Design Pattern Management / Generic Instantiation

TODO To be completed by Thai Son Hoang

Edition

TODO To be completed by Thomas Muller, Ingo Weigelt

Available Documentation

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

Status

Improved Performance

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

Design Pattern Management / Generic Instantiation

TODO To be completed by Thai Son Hoang

Edition

TODO To be completed by Thomas Muller, Ingo Weigelt