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: | ||
* {{TODO}} An overview of the contribution about | * {{TODO}} An overview of the contribution about platform maintenance (Thomas Muller) | ||
* {{TODO}} An overview of the contribution about | * {{TODO}} An overview of the contribution about Mathematical extensions / Theory Plug-in (Issam Maamria) | ||
* {{TODO}} An overview of the contribution about the | * {{TODO}} An overview of the contribution about Plug-in Incompatibilities (All partners) | ||
* {{TODO}} An overview of the contribution about Modularisation (Alexei Illiasov) | |||
* {{TODO}} An overview of the contribution about Decomposition (Renato Silva) | |||
* {{TODO}} An overview of the contribution about Team-based Development (Colin Snook, Vitaly Savicks) | |||
* {{TODO}} An overview of the contribution about UML-B (Colin Snook, Vitaly Savicks) | |||
* {{TODO}} An overview of the contribution about ProR (Michael Jastram) | |||
= Motivations = | = Motivations = | ||
== | == Platform maintenance == | ||
{{TODO}} ''To be completed by | {{TODO}} ''To be completed by Thomas Muller'' | ||
== | == Mathematical extensions / Theory Plug-in == | ||
{{TODO}} ''To be completed by | {{TODO}} ''To be completed by Issam Maamria'' | ||
== | == Plug-in Incompatibilities == | ||
{{TODO}} ''To be completed by | {{TODO}} ''To be completed by all partners'' | ||
== Modularisation == | |||
{{TODO}} ''To be completed by Alexei Illiasov'' | |||
== Decomposition == | |||
{{TODO}} ''To be completed by Renato Silva'' | |||
== Team-based Development == | |||
{{TODO}} ''To be completed by Colin Snook, Vitaly Savicks'' | |||
== UML-B == | |||
{{TODO}} ''To be completed by Colin Snook, Vitaly Savicks'' | |||
== ProR == | |||
{{TODO}} ''To be completed by Michael Jastram'' | |||
= Choices / Decisions = | = Choices / Decisions = | ||
== | == Platform maintenance == | ||
{{TODO}} ''To be completed by | {{TODO}} ''To be completed by Thomas Muller'' | ||
== | == Mathematical extensions / Theory Plug-in == | ||
{{TODO}} ''To be completed by | {{TODO}} ''To be completed by Issam Maamria'' | ||
== | == Plug-in Incompatibilities == | ||
{{TODO}} ''To be completed by | {{TODO}} ''To be completed by all partners'' | ||
== Modularisation == | |||
{{TODO}} ''To be completed by Alexei Illiasov'' | |||
== Decomposition == | |||
{{TODO}} ''To be completed by Renato Silva'' | |||
== Team-based Development == | |||
{{TODO}} ''To be completed by Colin Snook, Vitaly Savicks'' | |||
== UML-B == | |||
{{TODO}} ''To be completed by Colin Snook, Vitaly Savicks'' | |||
== ProR == | |||
{{TODO}} ''To be completed by Michael Jastram'' | |||
= Available Documentation = | = Available Documentation = | ||
* {{TODO}} Links for | *{{TODO}} Links for Platform maintenance | ||
* {{TODO}} Links for | *{{TODO}} Links for Mathematical extensions / Theory Plug-in | ||
* {{TODO}} Links for | *{{TODO}} Links for Plug-in Incompatibilities | ||
*{{TODO}} Links for Modularisation | |||
*{{TODO}} Links for Decomposition | |||
*{{TODO}} Links for Team-based Development | |||
*{{TODO}} Links for UML-B | |||
*{{TODO}} Links for ProR | |||
= Status = | = Status = | ||
== | == Platform maintenance == | ||
{{TODO}} ''To be completed by | {{TODO}} ''To be completed by Thomas Muller'' | ||
== | == Mathematical extensions / Theory Plug-in == | ||
{{TODO}} ''To be completed by | {{TODO}} ''To be completed by Issam Maamria'' | ||
== | == Plug-in Incompatibilities == | ||
{{TODO}} ''To be completed by | {{TODO}} ''To be completed by all partners'' | ||
== Modularisation == | |||
{{TODO}} ''To be completed by Alexei Illiasov'' | |||
== Decomposition == | |||
{{TODO}} ''To be completed by Renato Silva'' | |||
== Team-based Development == | |||
{{TODO}} ''To be completed by Colin Snook, Vitaly Savicks'' | |||
== UML-B == | |||
{{TODO}} ''To be completed by Colin Snook, Vitaly Savicks'' | |||
== ProR == | |||
{{TODO}} ''To be completed by Michael Jastram'' | |||
[[Category:D45 Deliverable]] | [[Category:D45 Deliverable]] | ||
Revision as of 11:25, 7 November 2011
Overview
Concerning Rodin's General Platform Maintenance the following contributions have been made:
- TODO An overview of the contribution about platform maintenance (Thomas Muller)
- TODO An overview of the contribution about Mathematical extensions / Theory Plug-in (Issam Maamria)
- TODO An overview of the contribution about Plug-in Incompatibilities (All partners)
- TODO An overview of the contribution about Modularisation (Alexei Illiasov)
- TODO An overview of the contribution about Decomposition (Renato Silva)
- TODO An overview of the contribution about Team-based Development (Colin Snook, Vitaly Savicks)
- TODO An overview of the contribution about UML-B (Colin Snook, Vitaly Savicks)
- TODO An overview of the contribution about ProR (Michael Jastram)
Motivations
Platform maintenance
TODO To be completed by Thomas Muller
Mathematical extensions / Theory Plug-in
TODO To be completed by Issam Maamria
Plug-in Incompatibilities
TODO To be completed by all partners
Modularisation
TODO To be completed by Alexei Illiasov
Decomposition
TODO To be completed by Renato Silva
Team-based Development
TODO To be completed by Colin Snook, Vitaly Savicks
UML-B
TODO To be completed by Colin Snook, Vitaly Savicks
ProR
TODO To be completed by Michael Jastram
Choices / Decisions
Platform maintenance
TODO To be completed by Thomas Muller
Mathematical extensions / Theory Plug-in
TODO To be completed by Issam Maamria
Plug-in Incompatibilities
TODO To be completed by all partners
Modularisation
TODO To be completed by Alexei Illiasov
Decomposition
TODO To be completed by Renato Silva
Team-based Development
TODO To be completed by Colin Snook, Vitaly Savicks
UML-B
TODO To be completed by Colin Snook, Vitaly Savicks
ProR
TODO To be completed by Michael Jastram
Available Documentation
- TODO Links for Platform maintenance
- TODO Links for Mathematical extensions / Theory Plug-in
- TODO Links for Plug-in Incompatibilities
- TODO Links for Modularisation
- TODO Links for Decomposition
- TODO Links for Team-based Development
- TODO Links for UML-B
- TODO Links for ProR
Status
Platform maintenance
TODO To be completed by Thomas Muller
Mathematical extensions / Theory Plug-in
TODO To be completed by Issam Maamria
Plug-in Incompatibilities
TODO To be completed by all partners
Modularisation
TODO To be completed by Alexei Illiasov
Decomposition
TODO To be completed by Renato Silva
Team-based Development
TODO To be completed by Colin Snook, Vitaly Savicks
UML-B
TODO To be completed by Colin Snook, Vitaly Savicks
ProR
TODO To be completed by Michael Jastram
