Search results

Create the page "Main page templates" on this wiki! See also the search results found.

• Code Generation Activity
  ...ent systems sharing data, for details see the [[Tasking Event-B Overview]] page. The templates feature.
  17 KB (2,568 words) - 09:03, 19 October 2015
• D23 TEXT
  ...he text editor supports syntax and semantic highlighting, code completion, templates, an outline view, quick navigation and many more. ...indeed based on BE4 and it still contains some of its basic concepts. The main reason to not use BE4 was that editors for EMF models are less strongly bas
  8 KB (1,257 words) - 15:56, 28 January 2010
• EMF framework for Event-B
  This page describes the core facilities for loading Rodin Event-B models in EMF and t ...a flexible and efficient way to store information that is not part of the main model. For example this is used to store some information contained in the
  26 KB (3,961 words) - 13:04, 19 May 2020