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
  • B2Latex
    ...ated in the ''latex'' directory can be modified to change the style of the documentation. Since B2Latex 0.6.1, this file won't be overwritten if already exists, so no user modifications are accidentally lost.
    4 KB (718 words) - 17:22, 8 July 2016
  • D32 Mathematical Extensions
    ...predicates and algebraic types. Along with these additional notations, the user can also define new proof rules (prover extensions). ...ies are deployed to the current workspace (i.e., Workspace Scope), and the user can use any defined extensions in any project within the workspace.
    7 KB (1,095 words) - 14:40, 21 December 2010
  • Proof Purger Interface
    The purpose of the proof purger is to allow the user to delete obsolete proofs. [[Category:User documentation]]
    2 KB (400 words) - 10:20, 27 October 2011
  • ADVANCE D3.2 Improvement of automated proof
    ...nd parameterized tactics to discharge some specific proof obligations. The user can furthermore share and backup these defined tactics using the provided i ...n the tactic profile editor as well as an import/export feature. Indeed, a user that elaborates a good profile for a certain proof pattern is now able to s
    4 KB (596 words) - 13:21, 18 July 2012
  • Transformation patterns
    ...up for running the transformations, and provides a simple library handling user input of Event-B elements such as machines, events, variables etc. ...psilonBook.pdf The Epsilon Book]. The full list of operations for handling user input and modifying Event-B elements can be found in [[Transformation_patte
    7 KB (1,011 words) - 13:08, 1 July 2013
  • D45 Introduction
    ...ourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform</ref>. The documentation of the DEPLOY tools is available from two sites: ...enhanced proving experience, and proving ability with the introduction of user customizable and parametrizable tactic profiles.
    3 KB (500 words) - 09:18, 23 April 2012
  • SMT 1.4 Performance Results
    [[Category:User documentation]]
    2 KB (281 words) - 15:57, 11 September 2017
  • Building Rodin Headless
    * documentation is up to date for /org.rodinp.platform/html/root.html * generated documentation matches latest wiki sources for <tt>org.eventb.keyboard/doc</tt>
    6 KB (928 words) - 15:50, 11 September 2020
  • Rodin Editor
    Please have a look also at the [[Rodin Editor User Guide]]. ...click, or where my text caret is.''' The caret position, also set when the user left-clicks in the editor, is the base for component modifications:
    4 KB (744 words) - 17:20, 3 June 2013
  • Rodin Developer Support
    === Event-B User Interface === The Event-B User Interface of the Roding Platform has two major components that are concerne
    8 KB (1,260 words) - 12:45, 30 July 2015
  • ADVANCE D3.2 Model Checking
    Animation allows the user to validate if the model corresponds to the user's intentions. = Available Documentation =
    11 KB (1,711 words) - 09:47, 26 June 2012
  • Proof Obligation Commands
    ...discharged using the auto prover, else there is no mark, meaning that the user had to edit the proof by hand (even partially). [[Category:User documentation]]
    3 KB (457 words) - 10:43, 18 March 2010
  • AnimB limitations
    [[Category:User documentation]]
    2 KB (287 words) - 08:56, 27 September 2010
  • ADVANCE D3.3 General Platform Maintenance
    ...he only place where this information was present was in either the plug-in documentation (if present) or buried into the plug-in code. Moreover, if by chance a plug ...a few buttons outside the editing area. This enhancement originated from a user who has contributed a patch for it. The stability of the newer generic Rodi
    16 KB (2,554 words) - 14:05, 8 October 2013
  • Tracking Memory Leaks
    Eclipse which is more user-friendly and easy to use. This tool is available from (free registration re [[Category:Developer documentation]]
    2 KB (337 words) - 11:03, 10 November 2008
  • UML-B
    [[Category:User documentation]]
    2 KB (276 words) - 22:12, 30 September 2020
  • Theory Plug-in
    ...olymorphic theorems. The [http://wiki.event-b.org/images/Theory_Plugin.pdf user manual] provides a guide to developing and using theories. ===User Manual===
    7 KB (958 words) - 14:53, 14 June 2021
  • D23 TEXT
    ...ad to be made. In all these instances, meaningful error messages guide the user, and the editor attempts to be as unobtrusive as possible. = Available Documentation =
    8 KB (1,257 words) - 15:56, 28 January 2010
  • Single View Design
    ==User guide== ...[http://help.eclipse.org/help32/index.jsp?topic=/org.eclipse.platform.doc.user/concepts/cworkset.htm eclipse help].
    5 KB (842 words) - 18:35, 26 March 2010
  • ADVANCE D3.3 Improvement of automated proof
    ...tions. Searching for a counterexample can be done effortlessly and without user interaction. If successful, the futility of a manual proof attempt is detec == Available Documentation ==
    7 KB (1,145 words) - 10:05, 8 October 2013
  • Relevance Filter Plug-in
    select relevant hypotheses for a proof as opposed to the user doing this [[Category:User documentation]]
    4 KB (569 words) - 07:04, 1 August 2011
  • Past Developments
    ...]] and the corresponding [[Mathematical_Language_Evolution_Design|design]] documentation. ...a model can be tagged as generated by a tool, in order to prevent the end-user from directly editing them (and their descendants).
    6 KB (915 words) - 16:57, 27 February 2014
  • AnimB start
    The user must give a value for each constants. A constant value is set in the contex [[Category:User documentation]]
    4 KB (679 words) - 14:59, 16 September 2009
  • Installing external plug-ins manually
    [[Category:User documentation]]
    4 KB (630 words) - 20:28, 10 September 2008
  • ADVANCE D3.2 General Platform Maintenance
    == Available Documentation == ...Both the Rodin handbook and the Event-B wiki represent the main source of documentation about Event-B and the Rodin toolset.
    20 KB (3,030 words) - 13:18, 18 July 2012
  • D45 Scalability
    ...experience. The whole performance was enhanced by core implementation and user interface refactorings. Improvements made to the proving experience will be This section concerns the actual editors that user work with to view and modify models.
    13 KB (1,991 words) - 20:57, 20 April 2012
  • Rodin Workshop 2021
    ==9th Rodin User and Developer Workshop== The 9th Rodin User and Developer Workshop, 8 June, 2021, Ulm, Germany (Virtual)
    4 KB (595 words) - 09:41, 29 June 2021
  • D32 Modes and Fault Tolerance
    A user builds and checks a Mode/FT view in the diagram editor, makes a link to an ...ilitate the development by leaving the Event-B modelling activity with the user. On the fault tolerance side, we are aware of the work on ProR framework fo
    5 KB (816 words) - 17:37, 3 December 2010
  • Team-based development
    [[Category:User documentation]]
    3 KB (445 words) - 07:03, 1 August 2011
  • Empty Set Rewrite Rules
    [[Category:User documentation|The Proving Perspective]] [[Category:User manual|The Proving Perspective]]
    10 KB (1,400 words) - 16:39, 12 May 2014
  • How to create Rodin projects programmatically
    ...not strictly necessary but it can be used to distinguish projects that the user has created from ones that have been created programmatically). ...(true); // mark the project as derived (this could be used to distinguish user editable projects
    6 KB (784 words) - 15:19, 21 August 2023
  • Google Summer of Code 2009
    * Prepare basic documentation for users. ...the Rodin platform uses self-made automatic theorem provers to support the user in proving.
    10 KB (1,629 words) - 12:50, 12 August 2009
  • D45 General Platform Maintenance
    ...orm_Maintenance#Available_Documentation</ref> and the SourceForge<ref name=documentation>http://wiki.event-b.org/index.php/D45_General_Platform_Maintenance#Availabl :*A Handbook to complete and enhance the existing documentation.
    35 KB (5,228 words) - 10:12, 23 April 2012
  • Changes to the Mathematical Language of Event-B
    [[Category:User documentation]]
    3 KB (469 words) - 12:38, 17 April 2009
  • SMT Plug-in Performance
    ...> packaged with the Rodin platform. This makes the tests closer to the end-user experience, and therefore more meaningful. [[Category:Developer documentation]]
    4 KB (652 words) - 08:48, 6 June 2014
  • TextEditor EBNF
    [[Category:User documentation]]
    4 KB (559 words) - 12:43, 12 August 2009
  • Rodin Platform 3.5.0 External Plug-ins
    ...[mailto:lvoisin@users.sourceforge.net Laurent Voisin] || generates a Latex documentation of the Event-B | [[Image:DecompositionPlug-in_logo.png|30px]] || [[Decomposition Plug-in User Guide | Decomposition]] || 1.3.1 || <span style="color:#8B4513"> not checke
    9 KB (1,244 words) - 13:52, 1 April 2022
  • Original UML-B
    [[Category:User documentation]]
    4 KB (535 words) - 14:58, 10 December 2012
  • OldUML-B
    [[Category:User documentation]]
    4 KB (535 words) - 14:56, 10 December 2012
  • SMT Solvers Plug-in Developer Support
    ''For user support, see [[SMT Solvers Plug-in]]'' [[Category:Developer documentation]]
    4 KB (691 words) - 14:34, 19 May 2014
  • D23 Pattern Plug-in
    ...teps as possible automatically or at least supports the developer wherever user interaction is required. = Available Documentation =
    6 KB (1,034 words) - 14:43, 27 January 2010
  • Arithmetic Rewrite Rules
    [[Category:User documentation|The Proving Perspective]] [[Category:User manual|The Proving Perspective]]
    14 KB (2,054 words) - 16:50, 19 February 2024
  • Shared Event Composition Release History
    [[Category:User documentation]]
    4 KB (550 words) - 10:39, 25 November 2014
  • Isabelle for Rodin
    * various simplifications of the user interaction * documentation
    9 KB (1,317 words) - 10:07, 29 April 2013
  • Requirements Tutorial
    This tutorial walks the user through using the Systerel Requirements Plug-In for Rodin. This Plug-In al [[Category:User documentation]]
    7 KB (995 words) - 15:44, 25 February 2009
  • Tasking Event-B Overview for D32
    ...ling component that is generated programmatically, at the direction of the user. The Tasking Development consists of a number of machines (and perhaps asso [[Category:User documentation]]
    7 KB (1,009 words) - 10:59, 26 January 2011
  • Refactoring Framework
    # User selects element to be renamed at the Event-B Explorer # User introduces new element name in the first page of the wizard. Then click in
    11 KB (1,773 words) - 07:41, 12 January 2016
  • Generic Instantiation Plug-in User Guide
    [[Category:User documentation]]
    5 KB (720 words) - 15:20, 4 July 2013
  • D32 UML-B
    :#* Report to user if translation didn't proceed due to model validator - previously, it was n :#* Preference for line routing style for each diagram type - allows the user to choose whether to use rectilinear or oblique line routing for each diagr
    9 KB (1,382 words) - 11:05, 27 January 2011
  • Inference Rules
    ...Any modification to this page shall be announced on the [[#Mailing_lists |User]] mailing list!</font> ...\;\; \finite\,(T)}{\textbf{H} \;\;\vdash \;\; \finite\,(S)}</math> || the user has to write the set corresponding to <math>T</math> in the editing area of
    36 KB (5,611 words) - 10:22, 1 February 2024

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

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