Search results

From Event-B
Jump to navigationJump to search

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

Page title matches

  • Package Diagram
    .... As in UML, package diagrams provide a structuring of the model. However, package diagrams also cater for the concept of refinement. The diagram shows the re
    519 bytes (71 words) - 20:29, 10 September 2008

Page text matches

  • Package Diagram
    .... As in UML, package diagrams provide a structuring of the model. However, package diagrams also cater for the concept of refinement. The diagram shows the re
    519 bytes (71 words) - 20:29, 10 September 2008
  • ReqsManagement
    === Package Structure === The package name space is fr.systerel.reqsmgr
    2 KB (335 words) - 14:16, 3 December 2010
  • Building Your Rodin Plugin Headless
    This page describes the way to package your plugin using PDE from the sources available on the Rodin SVN repositor
    247 bytes (33 words) - 14:02, 24 October 2011
  • Defining a generator handler
    ...ID HERE" with your own id (usually found in your Diagram Editor Class (in package part).
    717 bytes (83 words) - 12:46, 29 December 2011
  • DynamicContainer
    * Customise the package initialiser with the code shown below to make your package extensible '''example code to make a package extensible'''
    6 KB (506 words) - 12:00, 25 November 2009
  • Creating a new plug-in using eclipse (How to extend Rodin Tutorial)
    We will explain how to use Eclipse to easily create a plug-in package structure for our implementation. Developers which are familiar with plug-i 1. In project name, enter the name of the plugin package that must appear in the project hierarchy. We used <tt>fr.systerel.rodinext
    3 KB (445 words) - 14:48, 23 August 2010
  • ADVANCE D3.3 Introduction
    ...t intends to give a relevant overview of the work achieved within the work package 3: ''Methods and Tools for Model Construction and Proof'', during the secon The document is divided according to the work package tasks: general platform maintenance, improvement of automated proof, model
    2 KB (325 words) - 17:32, 29 November 2013
  • Original UML-B
    ...Project - UML-B Project). This will create a new UML-B Project and open a Package Diagram with an empty canvas ready for you to start drawing Machines and Co [[Package Diagram]]
    4 KB (535 words) - 14:58, 10 December 2012
  • OldUML-B
    ...Project - UML-B Project). This will create a new UML-B Project and open a Package Diagram with an empty canvas ready for you to start drawing Machines and Co [[Package Diagram]]
    4 KB (535 words) - 14:56, 10 December 2012
  • Adding Automatic Rewrite Reasoners
    package org.eventb.internal.contributors.seqprover.implrewrites; * Create a Tom file within the same package as the reasoner. In our example, the file should be ''org.eventb.internal.c
    14 KB (1,788 words) - 17:33, 24 November 2010
  • Adding Manual Rewrite Reasoners
    package org.eventb.internal.contributors.seqprover.implrewrites; * Create a package for the tests, e.g. ''org.eventb.internal.contributors.seqprover.implrewrit
    7 KB (880 words) - 17:31, 24 November 2010
  • Adding Manual Inference Reasoners
    * Create a package within the ''src'' folder of the project with the name ''org.eventb.interna * Create a Tom file within the newly created package with the name ''AutoInference.t''.
    10 KB (1,306 words) - 17:31, 24 November 2010
  • ADVANCE D3.3 Revised Roadmap
    == Work package specific needs ==
    4 KB (677 words) - 16:41, 2 December 2013
  • Adding Automatic Inference Reasoners
    * Create a package within the ''src'' folder of the project with the name ''org.eventb.interna * Create a Tom file within the newly created package with the name ''AutoInference.t''.
    11 KB (1,421 words) - 17:34, 24 November 2010
  • UML-B Tutorial
    d. The UML-B new project wizard, automatically creates and opens a package diagram ready for you to start modelling '''Package Diagram'''
    11 KB (1,713 words) - 20:07, 18 April 2010
  • Database
    The database API is located in the {{package|org.rodinp.core}} in the {{ident|org.rodinp.core}} plug-in.
    1 KB (182 words) - 07:55, 3 September 2009
  • D23 UML-B
    ...asis and project level meta-model, a ''machine'' package and a ''context'' package. A flexible abstract basis has been derived through experimentation. The ab * Re-engineer UML-B package diagram based on EMF Event-B framework.
    8 KB (1,224 words) - 15:53, 28 January 2010
  • How to create Rodin projects programmatically
    ...ets on this page are derived from the UML-B plugin 'ac.soton.umlb.eventB', package 'generator'. You can find this package in the Rodin projects sourceforge SVN repository : https://sourceforge.net/
    6 KB (784 words) - 15:19, 21 August 2023
  • Refinement of Statemachines
    # Create a machine called ATM_A using the package diagram palette Machine tool Return to the package diagram, select the machine, ATM_M, and click on "Make a refinement of this
    6 KB (895 words) - 06:12, 8 September 2011
  • Indexing System
    ==General structure of the package== ...are treated generically in the '''org.rodinp.internal.core.indexer.sort''' package. The final goal is to maintain an iterable [[#Total Order|total order]] on
    10 KB (1,541 words) - 17:41, 9 March 2009
  • ADVANCE D3.2 Introduction
    ...t intends to give a relevant overview of the work achieved within the work package 3: ''Methods and Tools for Model Construction and Proof'', during the first
    2 KB (371 words) - 16:27, 13 July 2012
  • Rodin File Types
    |<tt>.packageDiag</tt> || N/A || UML-B Package Diagram || UML-B classic
    3 KB (449 words) - 14:55, 12 March 2019
  • Mathematical Language Evolution Design
    This is managed through the version tools of the rodin core package: a new version number for each of these files represents the passing from V ...written inside various attributes. Existing version conversion tools (in {{package|org.rodinp.core}}) allowed making changes to the structure of the files (ad
    14 KB (2,104 words) - 09:40, 11 May 2009
  • D23 Introduction
    ...2010), in the course of the WP9 ''Tooling research and development'' work package, and brings new perspectives for the coming year.
    3 KB (399 words) - 11:20, 27 January 2010
  • Extending the Rodin database (How to extend Rodin Tutorial)
    ...e project, we will say that all elements that we add will be part of a new package called <tt>fr.systerel.rodinextension.sample.basis</tt>,<br>
    9 KB (1,496 words) - 17:44, 4 September 2013
  • D32 Introduction
    ...work achieved throughout the WP9 ''Tooling research and development'' work package, during the third year of the DEPLOY project (Feb 2010-Jan 2011), and depic
    3 KB (415 words) - 17:03, 24 November 2010
  • Extending the Rodin Event-B Explorer (How to extend Rodin Tutorial)
    ...ncy to the package <tt>org.eclipse.ui.navigator</tt> (This is the required package to use the navigator extension points).<br>
    10 KB (1,424 words) - 07:15, 7 September 2010
  • D45 Introduction
    ...of the work done within the WP9 ''Tooling research and development'' work package, during the fourth and last period of the DEPLOY project (Feb 2011-Apr 2012
    3 KB (500 words) - 09:18, 23 April 2012
  • EMF framework for Event-B
    ...model entire projects. There are two sub-packages, contained with the core package, for Machine and Context. Note, that the ''EventB'' prefix is used to indi ...lements of a specified type and a method to obtain the URL of an element's package. ''EventBObject'' extends the EMF class, ''EObject'' and provides a collect
    26 KB (3,961 words) - 13:04, 19 May 2020
  • Improved WD Lemma Generation
    All the classes created for Well-Definedness generation can be found in the package "''org.eventb.internal.core.ast.wd''".
    4 KB (617 words) - 09:43, 19 June 2012
  • Rodin Platform 3.1 Release Notes
    Technically speaking, it's because of hidden package dependencies in Eclipse 4 that are not automatically discovered by the upda : package 'libc6-amd64:i386' must be installed, in particular in order to run externa
    6 KB (909 words) - 13:48, 17 December 2014
  • Shared Event Composition Release History
    ** Added package corresponding to the renaming of elements in the bcp files.
    4 KB (550 words) - 10:39, 25 November 2014
  • Event-B to SMT-LIB
    ...://decert.gforge.inria.fr/deliverable/D1-RequirementAnalysis-2009.pdf Work Package 1] of the project. Using the [http://www.smtlib.org/ SMT-LIB] standard is a
    5 KB (797 words) - 10:29, 24 October 2011
  • SMT Solvers Plug-in
    ...t forget to install the E-prover as well[http://eprover.org/] (''eprover'' package on Ubuntu platforms). ...//alt-ergo.lri.fr/, or installed using the Ubuntu repository: ''alt-ergo'' package.
    17 KB (2,538 words) - 15:41, 2 October 2017
  • UML-B Integration and Improvements
    [[Image:UMLBRefinementChain.jpg|UML-B package diagram showing a refinement chain]]
    5 KB (738 words) - 09:13, 4 March 2009
  • Rodin Platform 3.2 Release Notes
    Technically speaking, it's because of hidden package dependencies in Eclipse 4 that are not automatically discovered by the upda : package 'libc6-amd64:i386' must be installed, in particular in order to run externa
    9 KB (1,317 words) - 11:09, 6 July 2017
  • Rodin Platform 3.6 Release Notes
    Package <code>libc6-amd64:i386</code> must be installed, in particular in order to
    4 KB (640 words) - 14:09, 25 May 2021
  • Pattern
    ...''_exploratory/fuersta/ch.ethz.eventb.pattern.example'''</tt> you find the package. When starting Rodin including this package you can start the cheat sheet with ''Help'' → ''Cheat Sheets...'' and the
    17 KB (2,670 words) - 15:07, 24 January 2012
  • File Root Separation
    information. This entailes changes in package interfaces and data saving.
    6 KB (897 words) - 11:47, 29 January 2009
  • Extending the Pretty Print Page
    ...<tt>IPrettyPrintStream</tt> or <tt>PrettyPrintAlignments</tt> in the same package <tt>org.eventb.ui.prettyprint</tt>, in order to isolate and hide (to reduce This pretty printer is available in the package <tt>org.eventb.internal.ui.eventbeditor.prettyprinters</tt>.
    17 KB (2,385 words) - 09:53, 27 October 2011
  • Rodin Platform 3.7 Release Notes
    Package <code>libc6-amd64:i386</code> must be installed, in particular in order to
    5 KB (703 words) - 14:37, 29 April 2022
  • Rodin Platform 3.4 Release Notes
    : package 'libc6-amd64:i386' must be installed, in particular in order to run externa
    5 KB (758 words) - 16:28, 7 March 2018
  • ADVANCE Deliverable D3.3
    ...ll give to the project reviewers some insight on what happened in the work package 3, concerning its 3 main objectives:
    6 KB (830 words) - 13:21, 7 October 2013
  • D45 Model Checking
    The need for constraint-based deadlock checking arose in the automotive work package, more precisely during the elaboration of the cruise control system. Here,
    7 KB (1,025 words) - 21:35, 20 April 2012
  • Rodin Platform 2.5 Release Notes
    ...t be installed. For some distributions (Ubuntu <= 11.04 for instance), the package is 'ia32-libs'.
    11 KB (1,478 words) - 17:32, 2 May 2012
  • Rodin Platform 3.8 Release Notes
    Package <code>libc6-amd64:i386</code> must be installed, in particular in order to
    5 KB (775 words) - 12:00, 4 April 2023
  • EMF framework for Event-B/Extensibility Issues
    ...ntainment is then added programmatically by dynamically extending the core package with a containment to attach the extension meta-model. All Extension plug-i
    7 KB (1,094 words) - 10:50, 22 January 2010
  • Extending the Rodin Structured Editor (How to extend Rodin Tutorial)
    ...chineFile</tt> type in extension <tt>org.eventb.ui.editorItems</tt> of the package <tt>org.eventb.ui</tt> to view the priorities of other elements displayed i
    10 KB (1,503 words) - 13:34, 5 September 2013
  • Rodin Platform 2.8 Release Notes
    : package ia32-libs (and its dependencies) must be installed.
    6 KB (899 words) - 16:25, 9 July 2014
  • Rodin Platform 3.3 Release Notes
    : package 'libc6-amd64:i386' must be installed, in particular in order to run externa
    7 KB (1,079 words) - 13:54, 12 July 2017
  • Extending the Proof Obligation Generator(How to extend Rodin Tutorial)
    ...one in the same way as for the static checker. After a small search in the package <tt>org.eventb.internal.core.pog.modules</tt>, we identify that the module
    13 KB (1,774 words) - 13:57, 5 September 2013
  • Extending the Proof Obligation Generator (How to extend Rodin Tutorial)
    ...e done the same way as for the static checker. After a small search in the package <tt>org.eventb.internal.core.pog.modules</tt>, we identify that the module
    13 KB (1,755 words) - 07:19, 7 September 2010
  • Rodin Platform 3.5 Release Notes
    Package <code>libc6-amd64:i386</code> must be installed, in particular in order to
    8 KB (1,249 words) - 13:09, 11 September 2020
  • Rodin Platform 3.0 Release Notes
    : package 'libc6-amd64:i386' must be installed, in particular in order to run externa
    8 KB (1,195 words) - 16:35, 9 July 2014
  • Sequent Prover Developer Guide
    package org.eventb.core.seqprover.arith;
    17 KB (2,378 words) - 09:48, 17 June 2010
  • Rodin Platform 2.6 Release Notes
    : package ia32-libs (and its dependencies) must be installed.
    10 KB (1,328 words) - 16:14, 3 August 2012
  • Rodin Platform 2.7 Release Notes
    : package ia32-libs (and its dependencies) must be installed.
    10 KB (1,301 words) - 07:11, 29 August 2013
  • Rodin Platform 1.2 Release Notes
    ...tion: The bundle could not be resolved. Reason: Missing Constraint: Import-Package: org.eclipse.equinox.internal.util.event; version="1.0.0"
    11 KB (1,488 words) - 10:06, 28 July 2010
  • D32 Code generation
    ...on 30 November 2010, and is available as an update site, or bundled Rodin package from:
    15 KB (2,298 words) - 15:08, 27 January 2011
  • Rodin Platform 2.4 Release Notes
    : package ia32-libs (and its dependencies) must be installed.
    11 KB (1,542 words) - 08:35, 1 March 2012
  • Rodin Platform 1.3 Release Notes
    ...tion: The bundle could not be resolved. Reason: Missing Constraint: Import-Package: org.eclipse.equinox.internal.util.event; version="1.0.0"
    12 KB (1,642 words) - 13:21, 28 July 2010
  • Event Model Decomposition
    ...checker. See the <tt>plugin.xml</tt> file of the <tt>org.eventb.core</tt> package).
    43 KB (6,950 words) - 09:48, 27 October 2011
Retrieved from ‘https://wiki.event-b.org/index.php/Special:Search’