D45 General Platform Maintenance: Difference between revisions
imported>Tommy m New page: = Overview = Concerning Rodin's General Platform Maintenance the following contributions have been made: * An overview of the contribution about platform maintenance (Thomas Muller) * An o... |
imported>Tommy mNo edit summary |
||
| Line 74: | Line 74: | ||
== ProR == | == ProR == | ||
''To be completed by Michael Jastram'' | ''To be completed by Michael Jastram'' | ||
[[Category:D45 Deliverable]] | [[Category:D45 Deliverable]] | ||
Revision as of 11:17, 7 November 2011
Overview
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 Mathematical extensions / Theory Plug-in (Issam Maamria)
- An overview of the contribution about Plug-in Incompatibilities (All partners)
- 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
Platform maintenance
To be completed by Thomas Muller
Mathematical extensions / Theory Plug-in
To be completed by Issam Maamria
Plug-in Incompatibilities
To be completed by all partners
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
Platform maintenance
To be completed by Thomas Muller
Mathematical extensions / Theory Plug-in
To be completed by Issam Maamria
Plug-in Incompatibilities
To be completed by all partners
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
- Links for Platform maintenance
- Links for Mathematical extensions / Theory Plug-in
- Links for Plug-in Incompatibilities
- Links for Modularisation
- Links for Decomposition
- Links for Team-based Development
- Links for UML-B
- Links for ProR
Status
Platform maintenance
To be completed by Thomas Muller
Mathematical extensions / Theory Plug-in
To be completed by Issam Maamria
Plug-in Incompatibilities
To be completed by all partners
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
