Search results

From Event-B
Jump to navigationJump to search

Create the page "User Documentation" on this wiki! See also the search results found.

Page title matches

  • User Documentation Overhaul
    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
    == Rodin Platform User Documentation == [[Rodin User Manual]]
    310 bytes (38 words) - 10:51, 27 October 2011
  • Mathieu/Main Page
    == Event-B and Rodin Documentation Wiki == [[Rodin Platform|Rodin Platform User Support]]
    295 bytes (39 words) - 22:09, 4 July 2008
  • Main Page
    |title = User Documentation |content = Main Page/User Documentation
    2 KB (194 words) - 09:48, 19 May 2020
  • ReqsManagement
    == User Documentation == You find the User Documentation in the form of a [[Requirements Tutorial]].
    2 KB (335 words) - 14:16, 3 December 2010
  • Bugs and Feature Requests
    [[Category:User documentation]]
    322 bytes (43 words) - 15:26, 16 November 2009
  • Rodin User Manual
    [[Category:User documentation]]
    346 bytes (46 words) - 08:48, 27 October 2011
  • Rule-based Prover Plug-in
    This page provides extensive documentation for the rule-based prover plug-in. == User Documentation ==
    2 KB (338 words) - 17:11, 9 July 2010
  • Generic Instantiation Release History
    [[Category:User documentation]]
    390 bytes (45 words) - 15:20, 4 July 2013
  • ProB
    [[Category:User documentation]]
    310 bytes (47 words) - 13:21, 2 May 2016
  • Event-B Modelling Language
    [[Category:User documentation]]
    410 bytes (54 words) - 08:45, 27 October 2011
  • AnimB install
    [[Category:User documentation]]
    372 bytes (54 words) - 04:03, 12 October 2010
  • AnimB Flash Tutorial
    [[Category:User documentation]]
    285 bytes (38 words) - 20:26, 10 September 2008
  • AnimB
    * [[AnimB_start|User manual]] [[Category:User documentation]]
    632 bytes (85 words) - 01:04, 6 October 2010
  • Theory Plug-in Developer Documentation
    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>compo
    3 KB (394 words) - 07:15, 15 July 2021
  • Package Diagram
    [[Category:User documentation]]
    519 bytes (71 words) - 20:29, 10 September 2008
  • User Documentation Overhaul
    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
  • Context Diagram
    [[Category:User documentation]]
    606 bytes (84 words) - 20:27, 10 September 2008
  • Feature Composition Plug-in
    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 Compos
    1 KB (192 words) - 10:15, 19 October 2010
  • Sample Plain Text Requirements Specification
    [[Category:User documentation]]
    643 bytes (85 words) - 20:30, 10 September 2008
  • Rodin Platform Welcome Page
    ...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
  • Rodin Tutorials
    [[Category:User documentation]]
    617 bytes (79 words) - 08:47, 27 October 2011
  • Generic Instantiation
    ...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
  • ADVANCE D3.3 Language extension
    ...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 t
    4 KB (648 words) - 14:52, 7 October 2013
  • Project Diagram
    ...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 layo
    2 KB (390 words) - 11:38, 16 November 2010
  • ADVANCE D3.3 Model Composition and Decomposition
    == Available Documentation == Documentation for composition is available in:
    5 KB (739 words) - 10:48, 23 September 2013
  • Event-B Language
    == Event-B Language Documentation == [[Category:User documentation]]
    3 KB (351 words) - 11:30, 23 January 2014
  • Rodin Plug-ins
    == 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
  • Statemachine Diagram
    [[Category:User documentation]]
    791 bytes (125 words) - 11:45, 14 January 2010
  • Current Proof Tree Node in UI
    ...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 would
    4 KB (683 words) - 18:33, 16 December 2011
  • Disprover
    [[Category:User documentation]]
    1 KB (155 words) - 13:34, 2 May 2016
  • ADVANCE D3.2 Model Composition and Decomposition
    *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 bet
    6 KB (891 words) - 17:21, 11 December 2012
  • ADVANCE D3.3 Model Checking
    ...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
  • Proof Skeleton View
    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
  • D23 Decomposition
    ...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
  • Event-B Mathematical Language
    [[Category:User documentation]]
    1 KB (203 words) - 11:28, 23 January 2014
  • TextEditor Screenshots
    [[Category:User documentation]]
    1 KB (174 words) - 12:43, 12 August 2009
  • Class Diagram
    [[Category:User documentation]]
    1 KB (177 words) - 13:06, 4 January 2013
  • ADVANCE Deliverable D3.3
    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
  • Extension Proof Rules
    [[Category:User documentation|The Proving Perspective]] [[Category:User manual|The Proving Perspective]]
    2 KB (307 words) - 15:38, 29 November 2019
  • Decomposition Release History
    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
  • Model Critic
    [[Category:User documentation]]
    1 KB (176 words) - 07:06, 1 August 2011
  • ADVANCE D3.2 Language extension
    ...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 t
    4 KB (642 words) - 08:33, 29 June 2012
  • Development Rules
    .../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
  • D32 Teamwork
    ...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
  • Documentation Overhaul DoW
    ...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 t
    9 KB (1,421 words) - 12:41, 8 December 2011
  • D23 General Platform Maintenance
    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
  • D32 General Platform Maintenance
    * Documentation
    9 KB (1,423 words) - 16:28, 14 November 2011
  • Proof Obligation Names (Rodin User Manual)
    [[Category:User documentation|Proof Obligation Names]] [[Category:User manual|Proof Obligation Names]]
    4 KB (575 words) - 15:09, 15 September 2011
  • Feature Modelling Tool
    [[User:Gondal|Ali Gondal]] at [[Southampton]] is working on the [[Feature Modellin [[Category:User documentation]]
    2 KB (320 words) - 07:06, 1 August 2011
  • Rose (Structured) Editor
    ...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 a
    3 KB (507 words) - 07:02, 1 August 2011

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

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