D23 Modularisation Plug-in
From Event-B
Revision as of 09:51, 18 November 2009 by imported>Alexili (New page: = Overview = Modularisation Plugin realises a support for structuring Event-B developments into modules. The objective is to achieve better structuring of models and proofs while also prov...)
Overview
Modularisation Plugin realises a support for structuring Event-B developments into modules. The objective is to achieve better structuring of models and proofs while also providing a facility for model reuse. It is expected that the structuring approach realised in the plugin would complement the functionality A/B-style decomposition plugin.
The plugin was developed in Newcastle University in cooperation with Abo Academy (Turku) and Space Systems Finland.
