Difference between pages "Event-B XText Front-end" and "File:Steve Wright Quite Big Model Presentation.pdf"

Latest revision as of 20:49, 30 April 2020

Slides from Steve Wright's presentation "Experiences with a Quite Big Event-b Model", given at the Rodin workshop, Southampton, July 16th 2009.

@@ Line 1: / Line 1: @@
-{{TOCright}}
+Slides from Steve Wright's presentation "Experiences with a Quite Big Event-b Model", given at the Rodin workshop, Southampton, July 16th 2009.
-Return to [[Rodin Plug-ins]]
-The Event-B XText front-end provides text editors for XContexts and and XMachines which then compiled automatically to Event-B contexts and machines.
-<br style="clear: both" />
-Please have a look also at the [[Event-B XText Front-end User Guide]].
-=== Current version ===
-The Event-B XText front-end 0.0.2 is available as a separate plug-in from the main Rodin update site (under the Editor category).
-=== Principles ===
-The Event-B XText editors (i.e., XContext and XMachine editors) do not work directly on the Rodin files. Instead, they operate on the separate XContext and XMachine and they are compiled to the Rodin files.
-=== A basic overview ===
-[[Category:Plugin]]
-[[Category:User documentation]]