Search results
From Event-B
Jump to navigationJump to searchCreate the page "Multi-proof database" on this wiki! See also the search results found.
- == Rodin database implementation == ...tabase/user/branch, ''O'' the ''other'' database/user/branch and ''A'' the database which reflects the common state from which ''L'' and ''O'' have departed (A6 KB (1,046 words) - 10:34, 27 October 2011
- ...ementations that make the state of a machine persistent by storing it in a database.5 KB (757 words) - 16:19, 13 February 2020
- Be warn that, for now, it bypass the rodin database API and does parse the .bum and .buc files directly. It is also highly expe12 KB (1,869 words) - 16:35, 18 March 2014
- ...es an EMF representation of Event-B models with persistence into the Rodin database. * Re-base the Event-B EMF framework on the EMF model of the Rodin database (which is now available as a result of the development of a new Rodin edito20 KB (3,030 words) - 13:18, 18 July 2012
- ...For example this is used to store some information contained in the Rodin database, which must be preserved but is not of interest in the EMF modelling tools. ...a generic Rodin element. This saves having to define an equivalent Rodin database extension. The extension mechanism can also be used to store temporary vola26 KB (3,961 words) - 13:04, 19 May 2020
- ...ementations that make the state of a machine persistent by storing it in a database.17 KB (2,568 words) - 09:03, 19 October 2015