Search results
From Event-B
Jump to navigationJump to searchCreate the page "Package" on this wiki! See also the search results found.
Page title matches
- .... 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 re519 bytes (71 words) - 20:29, 10 September 2008
Page text matches
- .... 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 re519 bytes (71 words) - 20:29, 10 September 2008
- === Package Structure === The package name space is fr.systerel.reqsmgr2 KB (335 words) - 14:16, 3 December 2010
- This page describes the way to package your plugin using PDE from the sources available on the Rodin SVN repositor247 bytes (33 words) - 14:02, 24 October 2011
- ...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
- * 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
- 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.rodinext3 KB (445 words) - 14:48, 23 August 2010
- ...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, model2 KB (325 words) - 17:32, 29 November 2013
- ...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
- ...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
- 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.c14 KB (1,788 words) - 17:33, 24 November 2010
- package org.eventb.internal.contributors.seqprover.implrewrites; * Create a package for the tests, e.g. ''org.eventb.internal.contributors.seqprover.implrewrit7 KB (880 words) - 17:31, 24 November 2010
- * 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
- == Work package specific needs ==4 KB (677 words) - 16:41, 2 December 2013
- * 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
- 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
- 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
- ...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
- ...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
- # 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 this6 KB (895 words) - 06:12, 8 September 2011
- ==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]] on10 KB (1,541 words) - 17:41, 9 March 2009