Search results
From Event-B
Jump to navigationJump to searchCreate the page "User documentation" on this wiki! See also the search results found.
Page title matches
- If you have suggestions or wishes regarding the documentation, please add them to the [[#Wish_List|Wish List]] at the end of this documen ...t using the tools without significant support." The effort to improve the documentation is now under way and will be coordinated by Düsseldorf.5 KB (720 words) - 11:28, 15 September 2011
Page text matches
- == Rodin Platform User Documentation == [[Rodin User Manual]]310 bytes (38 words) - 10:51, 27 October 2011
- == Event-B and Rodin Documentation Wiki == [[Rodin Platform|Rodin Platform User Support]]295 bytes (39 words) - 22:09, 4 July 2008
- |title = User Documentation |content = Main Page/User Documentation2 KB (194 words) - 09:48, 19 May 2020
- == User Documentation == You find the User Documentation in the form of a [[Requirements Tutorial]].2 KB (335 words) - 14:16, 3 December 2010
- [[Category:User documentation]]322 bytes (43 words) - 15:26, 16 November 2009
- [[Category:User documentation]]346 bytes (46 words) - 08:48, 27 October 2011
- This page provides extensive documentation for the rule-based prover plug-in. == User Documentation ==2 KB (338 words) - 17:11, 9 July 2010
- [[Category:User documentation]]390 bytes (45 words) - 15:20, 4 July 2013
- [[Category:User documentation]]310 bytes (47 words) - 13:21, 2 May 2016
- [[Category:User documentation]]410 bytes (54 words) - 08:45, 27 October 2011
- [[Category:User documentation]]372 bytes (54 words) - 04:03, 12 October 2010
- [[Category:User documentation]]285 bytes (38 words) - 20:26, 10 September 2008
- * [[AnimB_start|User manual]] [[Category:User documentation]]632 bytes (85 words) - 01:04, 6 October 2010
- This page provides some documentation for developers of the Theory plug-in. Documentation for users of the plug-in is available in [[Theory Plug-in|this page]]. ...et/p/forge/documentation/SFTP#for-managing-project-web-space Sourceforge's documentation]) and upload the files built previously (<code>p2.index</code>, <code>compo3 KB (394 words) - 07:15, 15 July 2021
- [[Category:User documentation]]519 bytes (71 words) - 20:29, 10 September 2008
- If you have suggestions or wishes regarding the documentation, please add them to the [[#Wish_List|Wish List]] at the end of this documen ...t using the tools without significant support." The effort to improve the documentation is now under way and will be coordinated by Düsseldorf.5 KB (720 words) - 11:28, 15 September 2011
- [[Category:User documentation]]606 bytes (84 words) - 20:27, 10 September 2008
- Here is the User Manual for the feature composition tool : [[Media:Feature_Composition_Tool_ [[User:Gondal|Ali Gondal]] at [[Southampton]] is in charge of the [[Feature Compos1 KB (192 words) - 10:15, 19 October 2010
- [[Category:User documentation]]643 bytes (85 words) - 20:30, 10 September 2008
- ...http://www.event-b.org Event-B.org] web site, including user and developer documentation available as a [http://wiki.event-b.org/index.php/Main_Page Wiki]. [[Category:User documentation]]2 KB (322 words) - 16:45, 20 April 2010
- [[Category:User documentation]]617 bytes (79 words) - 08:47, 27 October 2011
- ...php/Generic_Instantiation_Plug-in_User_Guide Generic Instantiation Plug-in User Guide]. ...ent-b.org/index.php/Generic_Instantiation_User_Guide Generic Instantiation User Guide].2 KB (232 words) - 15:23, 4 July 2013
- ...predicates and algebraic types. Along with these additional notations, the user can also define new proof rules (proof extensions). The Theory plug-in provides, among other things, a user-friendly mechanism to extend the Event-B mathematical language as well as t4 KB (648 words) - 14:52, 7 October 2013
- ...e tool is very easy. To view the diagram of a particular Event-B project a user right-clicks on the project folder and from the context menu selects "Show ...nd for this reason manual moving of the elements and links is enabled to a user. Also, "Arrange All" button can be very helpful in situations when the layo2 KB (390 words) - 11:38, 16 November 2010
- == Available Documentation == Documentation for composition is available in:5 KB (739 words) - 10:48, 23 September 2013
- == Event-B Language Documentation == [[Category:User documentation]]3 KB (351 words) - 11:30, 23 January 2014
- == Rodin Plug-in Documentation == * [[Decomposition Plug-in User Guide|Decomposition Plug-in]] allows the decomposition of Event-B machines/5 KB (757 words) - 16:19, 13 February 2020
- [[Category:User documentation]]791 bytes (125 words) - 11:45, 14 January 2010
- ...force a refresh of these views. We would like that these views behave more user-friendly and always display the expected information. ...ronment view is open and displays the type environment of the sequent. The user launches the post-tactic which removes the forall from the goal. One would4 KB (683 words) - 18:33, 16 December 2011
- [[Category:User documentation]]1 KB (155 words) - 13:34, 2 May 2016
- *The user interface was improved: using the form-based editor, if the symbol correspo In the latest version released (v1.2.3), the user's inputs and request were taken into account. In particular in terms of bet6 KB (891 words) - 17:21, 11 December 2012
- ...del. Animation allows the user to validate if the model corresponds to the user's intentions. Model checking allows to check if the model contains errors a == Available Documentation ==6 KB (1,016 words) - 10:41, 23 September 2013
- Furthermore, this view allows user to see together proof rules and corresponding sequents. [[Category:User documentation]]2 KB (299 words) - 12:50, 27 September 2011
- ...one single plug-in. These approaches are indeed complementary and the end-user may take advantage of the former or of the latter, depending on the model, Choices, either related to the plug-in core or to the plug-in graphical user interface, have been made with the following constraints in mind:6 KB (825 words) - 13:27, 27 January 2010
- [[Category:User documentation]]1 KB (203 words) - 11:28, 23 January 2014
- [[Category:User documentation]]1 KB (174 words) - 12:43, 12 August 2009
- [[Category:User documentation]]1 KB (177 words) - 13:06, 4 January 2013
- Extensions and enhancements to the method documentation and tutorials are also supplied. It also presents the === Available Documentation ===6 KB (830 words) - 13:21, 7 October 2013
- [[Category:User documentation|The Proving Perspective]] [[Category:User manual|The Proving Perspective]]2 KB (307 words) - 15:38, 29 November 2019
- User's inputs and request were taken into account. In particular in terms of bet [[Category:User documentation]]3 KB (343 words) - 10:21, 25 November 2014
- [[Category:User documentation]]1 KB (176 words) - 07:06, 1 August 2011
- ...predicates and algebraic types. Along with these additional notations, the user can also define new proof rules (proof extensions). The Theory plug-in provides, among other things, a user-friendly mechanism to extend the Event-B mathematical language as well as t4 KB (642 words) - 08:33, 29 June 2012
- .../sourceforge.net/mailarchive/forum.php?forum_name=rodin-b-sharp-user Rodin user] [http://sourceforge.net/mailarchive/forum.php?forum_name=rodin-b-sharp-co === Documentation (not discussed ===4 KB (671 words) - 12:45, 12 August 2009
- ...llocated to which sub-component. For the share variable decomposition, the user selects which events with be part of which sub-component. The rest of the s = Available Documentation =5 KB (780 words) - 11:22, 21 December 2010
- ...We will also provide templates as needed, to simplify the creation of the documentation. The Reference Section will be the most comprehensive part of the documentation. It will consist of a number of chapters. At this point we see at least t9 KB (1,421 words) - 12:41, 8 December 2011
- Beyond that, any user registered on SourceForge may record any encountered bug on the Rodin platf = Available Documentation =7 KB (963 words) - 11:30, 27 January 2010
- * Documentation9 KB (1,423 words) - 16:28, 14 November 2011
- [[Category:User documentation|Proof Obligation Names]] [[Category:User manual|Proof Obligation Names]]4 KB (575 words) - 15:09, 15 September 2011
- [[User:Gondal|Ali Gondal]] at [[Southampton]] is working on the [[Feature Modellin [[Category:User documentation]]2 KB (320 words) - 07:06, 1 August 2011
- ...of the element. This contains details which are otherwise hidden from the user. ...ditor view shows all the hidden details that are not normally visible to a user. (The tree shows the model element selected in the outline view, i.e. not a3 KB (507 words) - 07:02, 1 August 2011