D45 General Platform Maintenance
From Event-B
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
