Difference between revisions of "D45 General Platform Maintenance"
From Event-B
Jump to navigationJump to searchimported>Tommy m |
imported>Tommy m |
||
| 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
