D45 Scalability
From Event-B
Revision as of 11:24, 7 November 2011 by imported>Tommy (New page: = Overview = Concerning Rodin's General Platform Maintenance the following contributions have been made: * {{TODO}} An overview of the contribution about the improved performance (Laurent ...)
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
