Search results

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

• Development of a flash-based filestore
  ...s system was chosen as a case study for our experiments, carried out using Event-B and the Rodin tool. The experiments were aimed at developing a rigorous mod ...ental Refinement Approach to a Development of a Flash-Based File System in Event-B===
  4 KB (656 words) - 13:06, 18 November 2010
• ADVANCE D3.2 Improvement of automated proof
  In an Event-B development, more than 60% of the time is spent on proofs. That explains wh ...of a modified model. The translation of Event-B language into the SMT-LIB language is the main issue of this integration. Two approaches were developed for th
  4 KB (596 words) - 13:21, 18 July 2012
• D32 UML-B
  ...hat provides an alternative to UML-B which is more closely integrated with Event-B. ...provide a means of visualising the animation and model-checking process of Event-B machines modelled in UML-B tool, in particular state-machines, thus to simp
  9 KB (1,382 words) - 11:05, 27 January 2011
• Rodin Workshop 2009
  [http://wiki.event-b.org/images/Rodin_plug-in_tutorial_2009-07-15.pdf Rodin Plug-in Development * Michael Butler, [http://wiki.event-b.org/images/Intro.pdf Introduction]
  5 KB (766 words) - 09:59, 21 September 2011
• Tasking Event-B Tutorial
  === Tasking Event-B Tutorial Overview === This tutorial follows on from the abstract development described [http://wiki.event-b.org/index.php/Development_of_a_Heating_Controller_System here].
  11 KB (1,714 words) - 12:41, 2 September 2013
• Changes to the Mathematical Language of Event-B
  ....0.0. See [[Event-B_Mathematical_Language]] for a full description of the language. [[Category:Event-B]]
  3 KB (469 words) - 12:38, 17 April 2009
• Tool Development Roadmap
  |Ensure Event-B handbook consistency |Enrich SMT support for Event-B mathematical language
  4 KB (584 words) - 09:50, 12 September 2013
• Measurement Plug-In
  * provide feedback to the user about the quality of the Event-B model he is building and about potential problems in it or in the way he is ...omings (usability, prover), modelling issues (to be addressed by training, language, tool evolution,...), etc.
  2 KB (308 words) - 16:35, 17 December 2008
• D23 Code Generation
  ...g, it became clear that having support for generation of code from refined Event-B models would be an important factor in ensuring eventual deployment of the * Enrich Event-B with explicit algorithmic structures for use in later refinement stages and
  11 KB (1,725 words) - 18:07, 7 December 2009
• Code Generation Tutorial
  ...source code, which uses the common language model. An overview of Tasking Event-B can be found on the [[Tasking_Event-B_Overview]] page. ...tep to implementation, by extending Event-B with the necessary constructs. Event-B machines that are to be implemented (and their seen Contexts) are selected
  12 KB (1,741 words) - 08:25, 14 December 2010
• D32 Code generation
  ...he commonalities between their flow plug-in <ref name = "flow">http://wiki.event-b.org/index.php/Flows</ref> and the flow control structures used in our appro ...>. It had been recognised that support for generation of code from refined Event-B models would be an important factor in ensuring eventual deployment of the
  15 KB (2,298 words) - 15:08, 27 January 2011
• State-Machines and Code Generation
  ...ed; that is, nothing over and above the usual mark-up required for Tasking Event-B, such as identifying non-typing/typing invariants, and guards etc. State-ma ...e should be able to apply decomposition techniques to decompose the single Event-B machine with state-machines into a number of machines, with the state-machi
  4 KB (659 words) - 09:47, 17 May 2012
• D23 UML-B
  ...B relies on an EMF representation of Event-B. The development of a new EMF Event-B plugin-in feature is also described in this section. This feature was initi ...us animation. The animation relies on Pro-B animation of the corresponding Event-B models (that have been automatically generated by UML-B). The animated diag
  8 KB (1,224 words) - 15:53, 28 January 2010
• Old Flow Plug in page
  ...aining of event ordering must be such that the overall specification is an Event-B refinement of the original model. Importantly, this means that all the desi How expressive is the language of flows? There is, effectively, just one construct but it already covers a
  11 KB (1,869 words) - 23:48, 21 January 2011
• ADVANCE D3.3 Introduction
  * the Event-B wiki,<ref name="EventB_wiki">http://wiki.event-b.org</ref> * the Rodin Handbook.<ref name="Rodin_handbook_Page">http://handbook.event-b.org</ref>
  2 KB (325 words) - 17:32, 29 November 2013
• Extending the Rodin Pretty Print Page (How to extend Rodin Tutorial)
  ...din_Event-B_Explorer_(How_to_extend_Rodin_Tutorial)|Adding elements to the Event-B explorer]]| Next=[[Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tut ...ariant expressions. There are many pre-defined CSS classes for the Event-B language elements. To review them, go to the file <tt>html/style.css</tt> in the plu
  4 KB (567 words) - 12:27, 25 August 2010
• Rodin Keyboard User Guide
  The Rodin Keyboard plug-in creates a view (namely "Rodin Keyboard") under Event-B category. # Choose the "Rodin Keyboard" view from the Event-B category.
  14 KB (1,930 words) - 12:58, 21 July 2010
• Event-B Examples
  This page is for listing available example Event-B/Rodin projects. This material describes an Event-B development of a Vehicle On-Board Controller for trains.
  9 KB (1,283 words) - 13:58, 5 July 2017
• Code Generation Activity
  ...or defining concurrent systems sharing data, for details see the [[Tasking Event-B Overview]] page. Other code generation approaches that are available for Event-B include:
  17 KB (2,568 words) - 09:03, 19 October 2015
• Mathematical Language Evolution Design
  ...ocument describes the modifications that occur to the Event-B mathematical language from the developer point of view. The old language will still be recognized, in order to provide backward compatibility.
  14 KB (2,104 words) - 09:40, 11 May 2009

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