Search results

From Event-B
Jump to navigationJump to search

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

Page title matches

  • Event-B Language
    == Book: Modeling in Event-B: System and Software Engineering by Jean-Raymond Abrial == The Event-B introduced in Abrial's book in some ways differs from the Event-B implemented by Rodin.
    3 KB (351 words) - 11:30, 23 January 2014
  • Talk:Event-B Language
    2 KB (255 words) - 21:22, 30 October 2009
  • Event-B Mathematical Language
    ...s a brief summary of documents describing Event-B's logic aka mathematical language. [http://handbook.event-b.org/current/html/mathematical_notation.html Rodin Handbook (Mathematical No
    1 KB (203 words) - 11:28, 23 January 2014
  • Event-B Modelling Language
    This page gives a brief summary of documents describing Event-B's modeling notation. [http://handbook.event-b.org/current/html/modeling_notation.html Rodin Handbook (Modeling Notation)]
    410 bytes (54 words) - 08:45, 27 October 2011
  • Language of an Event-B Component
    ...0, Event-B components can use extended version of the Event-B mathematical language. This change was implemented then, but there were some places where strange ...e to parse them back to a tree in memory. Conversely, the serialization of Event-B formulas need to know how to transform the tree in memory into a character
    4 KB (692 words) - 15:06, 20 November 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

Page text matches

  • Template:Main Page/User Documentation
    ...age]] • [[:Category:Event-B|''Event-B'' category]]</small></div> [[Event-B Language]] ...aaaa;"><small>[http://handbook.event-b.org/ Rodin Handbook] • [http://wiki.event-b.org/index.php/Rodin_Platform_Releases Install Notes] • [[Rodin Tutorials
    2 KB (226 words) - 14:22, 15 January 2019
  • MediaWiki:Sidebar
    ** Event-B_Language|Event-B Language ** Event-B_Examples|Event-B Examples
    436 bytes (49 words) - 10:15, 22 September 2010
  • Event-B Language
    == Book: Modeling in Event-B: System and Software Engineering by Jean-Raymond Abrial == The Event-B introduced in Abrial's book in some ways differs from the Event-B implemented by Rodin.
    3 KB (351 words) - 11:30, 23 January 2014
  • Mathieu/Main Page
    == Event-B and Rodin Documentation Wiki == [[Event-B Language]]
    295 bytes (39 words) - 22:09, 4 July 2008
  • Event-B Mathematical Language
    ...s a brief summary of documents describing Event-B's logic aka mathematical language. [http://handbook.event-b.org/current/html/mathematical_notation.html Rodin Handbook (Mathematical No
    1 KB (203 words) - 11:28, 23 January 2014
  • How Rodin Deviates from Abrial's Book
    ...(some) differences between the version of Event-B described in [http://www.event-b.org/abook.html Abrial's book] and the version implemented by Rodin. One may understand from Chapter 9 that Event-B is based on naive set theory, and therefore has terms like <math>\{X | X \n
    1 KB (188 words) - 11:10, 25 January 2012
  • Talk:Main Page
    ...page doesn't look a bit terse, knowing it is the main landing page for the event-b wiki. Perhaps should we add some introduction material about Rodin and depl == Event-B and Rodin Documentation Wiki ==
    3 KB (395 words) - 08:48, 7 January 2010
  • MediaWiki talk:Sidebar
    ** Event-B_Language|Event-B Language ** http://www.event-b.org|''Event-B and Rodin''
    624 bytes (80 words) - 10:52, 3 July 2008
  • Constrained Dynamic Lexer
    ...eterizable lexical analyser''' (i.e. lexer) for the [[Event-B Mathematical Language]]. In order to be usable, [[mathematical extensions]] require that the Event-B
    3 KB (440 words) - 09:10, 1 March 2010
  • Language of an Event-B Component
    ...0, Event-B components can use extended version of the Event-B mathematical language. This change was implemented then, but there were some places where strange ...e to parse them back to a tree in memory. Conversely, the serialization of Event-B formulas need to know how to transform the tree in memory into a character
    4 KB (692 words) - 15:06, 20 November 2013
  • Template:Topic
    * {{topic|The_Event-B_Explorer_(Rodin_User_Manual)|5 The Event-B Explorer}} * {{topic|The_Mathematical_Language_(Rodin_User_Manual)|A The Mathematical Language}}
    1 KB (142 words) - 13:14, 14 April 2010
  • Rodin Plug-ins
    * [[Records_Extension|Records]] provide structured types for Event-B. * [[UML-B]] provides a 'UML-like' graphical front end for Event-B.
    5 KB (757 words) - 16:19, 13 February 2020
  • Event-B to SMT-LIB
    The need for translating the Event-B language to the SMT-LIB language was introduced by the [http://decert.gforge.inria.fr/index.html DECERT] pro ...e translation of Event-B language into the veriT extensions of the SMT-LIB language. It comes down to running a direct syntactic translation when the formula d
    5 KB (797 words) - 10:29, 24 October 2011
  • Template:Dev News/Archives
    ...nting]] the [[Changes to the Mathematical Language of Event-B|mathematical language V2]], while retaining full backward compatibility. New plug-in version is 1 * 02/04/09: [http://cia.vc/stats/project/rodin-b-sharp/.message/d4557 Fix] ''Event-B editor dead slow'' [http://sourceforge.net/tracker/?func=detail&aid=2691183
    7 KB (848 words) - 21:22, 5 April 2011
  • D23 Introduction
    .... The tool documentation is provided within the Event-B wiki ([http://wiki.event-b.org]). * Model animation and testing, to validate Event-B models. More precisely, the ProB or AnimB plug-ins allow a domain expert to
    3 KB (399 words) - 11:20, 27 January 2010
  • ADVANCE D3.3 Language extension
    ...vide the Rodin user with a way to extend the standard Event-B mathematical language by supporting user-defined operators, basic predicates and algebraic types. ...other things, a user-friendly mechanism to extend the Event-B mathematical language as well as the prover. A theory is the dedicated component used to hold mat
    4 KB (648 words) - 14:52, 7 October 2013
  • User:Nicolas/Collections/ADVANCE D3.4 Language extension
    ...vide the Rodin user with a way to extend the standard Event-B mathematical language by supporting user-defined operators, basic predicates and algebraic types. ...other things, a user-friendly mechanism to extend the Event-B mathematical language as well as the prover. A theory is the dedicated component used to hold mat
    5 KB (713 words) - 15:34, 19 November 2014
  • Rewriting rules for event model decomposition
    ...first necessary to introduce some equivalence and simplification rules on Event-B assignments and predicates. These rules will then help to understand the tr ...an equivalence relation on the Event-B actions, and by restriction on the Event-B assignments. Two actions are considered as being equivalent if the proof ob
    10 KB (1,604 words) - 09:19, 27 October 2011
  • Past Developments
    ==== Mathematical Language V2 ==== [[Changes to the Mathematical Language of Event-B]] and the corresponding [[Mathematical_Language_Evolution_Design|design]] d
    6 KB (915 words) - 16:57, 27 February 2014
  • D23 Flow Plug-in
    ...traint on 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 There are a number of reasons to consider an extension of Event-B with an event ordering mechanism:
    4 KB (609 words) - 11:37, 8 January 2010

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

Retrieved from ‘https://wiki.event-b.org/index.php/Special:Search’