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