Difference between revisions of "D45 General Platform Maintenance"
From Event-B
Jump to navigationJump to searchimported>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