Search results
From Event-B
Jump to navigationJump to searchCreate the page "Templates" on this wiki! See also the search results found.
- This screenshot shows the content assist with code templates. The selected template would insert the structure for a new event which is1 KB (174 words) - 12:43, 12 August 2009
- ...efining Domain Specific Languages.pdf|pdf]], [[Media:Event-B Specification Templates for Defining Domain Specific Languages-slides.pdf|slides]])5 KB (664 words) - 18:29, 6 June 2016
- ...xing of problems before executing decomposition: building a set of problem templates and respective solutions to be suggested to the modeller before executing d * Build a list of architectures templates to be used for decomposition according to the number of sub-components to b5 KB (739 words) - 10:48, 23 September 2013
- ...xing of problems before executing decomposition: building a set of problem templates and respective solutions to be suggested to the modeller before executing d * Build a list of architectures templates to be used for decomposition according to the number of sub-components to b6 KB (891 words) - 17:21, 11 December 2012
- === WP1-1: Styles Guides and Templates (16mh) === ...we will create a style guide to ensure consistency. We will also provide templates as needed, to simplify the creation of the documentation.9 KB (1,421 words) - 12:41, 8 December 2011
- ** '''Templates''' are now editable and extensible via a '''preference page'''. ...0+), especially for expressions and predicates. ''Please let us know which templates you would like to have added.''6 KB (800 words) - 08:50, 19 August 2014
- ** ''Templates'' (very few so far, please let us know which templates you would like to add)6 KB (945 words) - 12:22, 27 January 2015
- Translator rules are templates. They are used in a pattern matching algorithm, in the Theory plug-in, invo4 KB (599 words) - 15:00, 14 June 2021
- Please use one of the following templates for the Status column9 KB (1,244 words) - 13:52, 1 April 2022
- ...created class, if you set them in "Preferences > Java > Code Style > Code Templates",<br>9 KB (1,496 words) - 17:44, 4 September 2013
- ...he text editor supports syntax and semantic highlighting, code completion, templates, an outline view, quick navigation and many more.8 KB (1,257 words) - 15:56, 28 January 2010
- The templates feature. http://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/master/tree/Templates/ .17 KB (2,568 words) - 09:03, 19 October 2015
- ...ditor for the Event-B pattern plugin. The syntax of facets - Event-B model templates used to describe patterns - is an extension of the Event-B syntax.26 KB (3,961 words) - 13:04, 19 May 2020