Search results
From Event-B
Jump to navigationJump to searchCreate the page "Witnesses (Modelling Language)" on this wiki! See also the search results found.
- ...for making extensions. Further support for extending the Event-B modelling language is available here: [[Generic Event-B EMF extensions]]. ...Rodin database, which must be preserved but is not of interest in the EMF modelling tools.26 KB (3,961 words) - 13:04, 19 May 2020
- ...machines plug-in is available for installation from the Rodin update site (Modelling Extensions category). ...e diagrams, an integration to Event-B Explorer and a translator to Event-B language. Some of these may seem familiar to you if you have experience with UML edi13 KB (2,134 words) - 08:04, 6 October 2015
- ...ontexts, machines, or both (see [[Event-B Modelling Language|the modelling language]]). The notion of model decomposition covers on the one hand the machine de ...e <math>REFINES</math> and <math>WITH</math> ([[Event-B Modelling Language|witnesses]]) clauses of the events shall be left out.43 KB (6,950 words) - 09:48, 27 October 2011