D45 General Platform Maintenance

From Event-B
Revision as of 11:16, 7 November 2011 by imported>Tommy (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...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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

References