D45 General Platform Maintenance: Difference between revisions

From Event-B
Jump to navigationJump to search
← Older editNewer edit →
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 platform maintenance (Thomas Muller)
* An overview of the contribution about the improved performance (Laurent Voisin, Nicolas Beauger, Thomas Muller)  
* An overview of the contribution about Mathematical extensions / Theory Plug-in (Issam Maamria)
* An overview of the contribution about th design pattern management / Generic Instantiation (Thai Son Hoang)  
* An overview of the contribution about Plug-in Incompatibilities (All partners)
* An overview of the contribution about the edition (Thomas Muller, Ingo Weigelt)  
* An overview of the contribution about Modularisation (Alexei Illiasov)
* An overview of the contribution about Decomposition (Renato Silva)
* An overview of the contribution about Team-based Development (Colin Snook, Vitaly Savicks)
* An overview of the contribution about UML-B (Colin Snook, Vitaly Savicks)
* An overview of the contribution about ProR (Michael Jastram)


= Motivations =
= Motivations =


== Platform maintenance ==
== Improved Performance ==
''To be completed by Thomas Muller''
''To be completed by Laurent Voisin, Nicolas Beauger, Thomas Muller''
== Mathematical extensions / Theory Plug-in ==
== Design Pattern Management / Generic Instantiation ==
''To be completed by Issam Maamria''
''To be completed by Thai Son Hoang''
== Plug-in Incompatibilities ==
== Edition ==
''To be completed by all partners''
''To be completed by Thomas Muller, Ingo Weigelt''
== Modularisation ==
''To be completed by Alexei Illiasov''
== Decomposition ==
''To be completed by Renato Silva''  
== Team-based Development ==
''To be completed by Colin Snook, Vitaly Savicks''  
== UML-B ==
''To be completed by Colin Snook, Vitaly Savicks''
== ProR ==
''To be completed by Michael Jastram''


= Choices / Decisions =
= Choices / Decisions =
== Platform maintenance ==
== Improved Performance ==
''To be completed by Thomas Muller''
''To be completed by Laurent Voisin, Nicolas Beauger, Thomas Muller''
== Mathematical extensions / Theory Plug-in ==
== Design Pattern Management / Generic Instantiation ==
''To be completed by Issam Maamria''
''To be completed by Thai Son Hoang''
== Plug-in Incompatibilities ==
== Edition ==
''To be completed by all partners''
''To be completed by Thomas Muller, Ingo Weigelt''
== Modularisation ==
''To be completed by Alexei Illiasov''
== Decomposition ==
''To be completed by Renato Silva''  
== Team-based Development ==
''To be completed by Colin Snook, Vitaly Savicks''  
== UML-B ==
''To be completed by Colin Snook, Vitaly Savicks''
== ProR ==
''To be completed by Michael Jastram''


= Available Documentation =
= Available Documentation =
* Links for Platform maintenance
* Links for Improved Performance
* Links for Mathematical extensions / Theory Plug-in
* Links for Design Pattern Management / Generic Instantiation
* Links for Plug-in Incompatibilities
* Links for Edition
* Links for Modularisation
* Links for Decomposition
* Links for Team-based Development
* Links for UML-B
* Links for ProR


= Status =
= Status =
== Platform maintenance ==
== Improved Performance ==
''To be completed by Thomas Muller''
''To be completed by Laurent Voisin, Nicolas Beauger, Thomas Muller''
== Mathematical extensions / Theory Plug-in ==
== Design Pattern Management / Generic Instantiation ==
''To be completed by Issam Maamria''
''To be completed by Thai Son Hoang''
== Plug-in Incompatibilities ==
== Edition ==
''To be completed by all partners''
''To be completed by Thomas Muller, Ingo Weigelt''
== Modularisation ==
''To be completed by Alexei Illiasov''
== Decomposition ==
''To be completed by Renato Silva''  
== Team-based Development ==
''To be completed by Colin Snook, Vitaly Savicks''  
== UML-B ==
''To be completed by Colin Snook, Vitaly Savicks''
== ProR ==
''To be completed by Michael Jastram''


[[Category:D45 Deliverable]]
[[Category:D45 Deliverable]]

Revision as of 11:21, 7 November 2011

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

Retrieved from ‘https://wiki.event-b.org/index.php?title=D45_General_Platform_Maintenance&oldid=2754’