Showing 1–1 of 1 results for author: Beauger, N
-
Theory Plug-in for Rodin 3.x
Authors:
T. S. Hoang,
L. Voisin,
A. Salehi,
M. Butler,
T. Wilkinson,
N. Beauger
Abstract:
The Theory plug-in enables modellers to extend the mathematical modelling notation for Event-B, with accompanying support for reasoning about the extended language. Previous version of the Theory plug-in has been implemented based on Rodin 2.x. This presentation outline the main improvements to the The- ory plug-in, to be compatible with Rodin 3.x, in terms of both reliability and us- ability. We…
▽ More
The Theory plug-in enables modellers to extend the mathematical modelling notation for Event-B, with accompanying support for reasoning about the extended language. Previous version of the Theory plug-in has been implemented based on Rodin 2.x. This presentation outline the main improvements to the The- ory plug-in, to be compatible with Rodin 3.x, in terms of both reliability and us- ability. We will also present the changes that were needed in the Rodin core to accommodate the Theory plug-in. Finally, we identify future enhancements and research directions for the Theory plug-in.
△ Less
Submitted 4 January, 2017;
originally announced January 2017.