D45 General Platform Maintenance: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Tommy mNo edit summary |
imported>Tommy mNo edit summary |
||
| 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
