Search results

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

• 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

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