Search results

Create the page "Event-B Language)" on this wiki! See also the search results found.

• Tasking Event-B Overview
  === Tasking Event-B === Tasking Event-B can be viewed as an extension of the existing Event-B language. We use the existing approaches of refinement and decomposition to structur
  9 KB (1,528 words) - 08:43, 2 September 2013
• Camille Editor
  <span style="color:#8B4513">Make sure to install the latest Event-B EMF Framework (version 3.7.0 or greater)!</span> ## If you didn't install the ''Event-B EMF Framework'' yet it will be automatically added. Confirm by clicking ''F
  6 KB (945 words) - 12:22, 27 January 2015
• Records Extension
  ...elopment. It is intended to be a user oriented manual for using records in Event-B. This page should be read in conjunction with the [[Structured_Types|Struc The Event-B mathematical language currently does not support a syntax for the direct definition of structured
  8 KB (1,347 words) - 13:07, 21 July 2010
• EMF framework for Event-B
  ...for extending the Event-B modelling language is available here: [[Generic Event-B EMF extensions]]. ...t-B generators. It will eventually replace the generator that only targets Event-B.
  26 KB (3,961 words) - 13:04, 19 May 2020
• Event-B Statemachines
  ...atemachines Plug-in provides a way of adding state machines directly in to Event-B machines. The statemachines generate additional guards and actions which ar ...d GMF frameworks, Event-B EMF framework, Event-B EMF Extensions framework, Event-B diagrams framework and , for animation, ProB - all of these dependencies wi
  13 KB (2,134 words) - 08:04, 6 October 2015
• D32 Provers
  ...external provers (PP, newPP, ML). Jann Röder carried out experiments using Event-B models from different domains and observed that his tactic significantly in ...ethodology for reasoning about the soundness of Event-B proof rules within Event-B. The document also allows users to look-up definitions of predefined operat
  11 KB (1,699 words) - 15:25, 27 January 2011
• ADVANCE D3.2 General Platform Maintenance
  ...t as users wishes and requests were collected along. At the same time, the Event-B models and proof got bigger and bigger, in the same way as the experience o Release Notes<ref name="relNotes">http://wiki.event-b.org/index.php/Rodin_Platform_Releases</ref> and the SourceForge trackers<re
  20 KB (3,030 words) - 13:18, 18 July 2012
• Current Developments
  For an overview of Tasking Event-B see [[Tasking Event-B Overview]]. ...ork for Event-B|EMF framework for Event-B]] (see that [[#EMF framework for Event-B|section]] for details).
  12 KB (1,869 words) - 16:35, 18 March 2014
• Structured Types
  The Event-B mathematical language currently does not support a syntax for the direct definition of structured ...'invented' syntax for this (based on VDM syntax but currently not part of Event-B syntax):
  18 KB (2,643 words) - 12:41, 12 August 2009
• Rodin Keyboard
  ...ho want to declare different "keyboards" corresponding to the mathematical language that they want to use. Moreover, different combinations can be used to ente * Standard keyboard for Event-B.
  9 KB (1,367 words) - 11:59, 23 June 2014
• Constrained Dynamic Parser
  ...the requirements for a '''generic parser''' for the [[Event-B Mathematical Language]]. In order to be usable, [[mathematical extensions]] require that the Event-B
  27 KB (3,967 words) - 13:21, 15 February 2010
• Event Model Decomposition
  One of the most important feature of the Event-B approach is the possibility to introduce new events during refinement steps ...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
  43 KB (6,950 words) - 09:48, 27 October 2011
• Rodin Platform 1.1 Release Notes
  :A new extensible plug-in for the Event-B Keyboard is included. The former one, namely <tt>org.eventb.eventBKeyboard< # One in the plug-in <tt>org.eventb.keyboard</tt>, for standard Event-B notation translation.
  9 KB (1,298 words) - 10:06, 28 July 2010
• Rodin Performances
  Taken from Jean-Raymond Abrial's book "Modeling in Event-B" A base string is made of all standard Event-B Mathematical Language symbols, separated from each other with a space character.
  7 KB (787 words) - 08:43, 17 June 2011
• D23 ProB
  No new programming language has to be learned: the linking is described in B itself. ...in the SAP workpackage it became clear that test-case generation from the Event-B models is required for success.
  17 KB (2,580 words) - 15:55, 28 January 2010
• Documentation Overhaul DoW
  ...011. The continuous build of the handbook can be found at http://handbook.event-b.org/ '''Deliverable:''' [http://handbook.event-b.org/review-1/html/sect0006.html A Guideline for content creators] and templ
  9 KB (1,421 words) - 12:41, 8 December 2011
• D45 Prover Enhancement
  In an Event-B development, more than 60% of the time is spent on proofs. It has been a co ...of the ProB kernel. It is available from the ProB plugin after loading an Event-B model.
  21 KB (3,334 words) - 21:20, 20 April 2012
• Extending the Pretty Print Page
  ...t Page of the [http://handbook.event-b.org/current/html/eventb_editor.html Event-B Editor] provides a rendered view of an edited machine or context, for an qu When contributing to the Event-B Editor, one uses the extension point <tt>org.eventb.ui.editorItems</tt>.
  17 KB (2,385 words) - 09:53, 27 October 2011
• Rodin Platform 3.0 Release Notes
  Commands available from the Event-B explorer have been refactored and reorganized.<br/> The dependency on the Event-B UI plug-in has been removed by splitting text translation from translation
  8 KB (1,195 words) - 16:35, 9 July 2014
• Rodin Platform 2.5 Release Notes
  ...This change is fully binary compatible, as stated in §13.4.21 of the Java Language Specification 3.0, as throws declaration are checked only at compile time. ...sion.StandardGroup'' that lists the syntactical groups in the mathematical language. Prefer referencing them instead of their ids as bare strings.
  11 KB (1,478 words) - 17:32, 2 May 2012

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)