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
- Template use to specify a package name. Package {{package|org.rodinp.core_block}} contains the database API.299 bytes (36 words) - 20:45, 22 February 2009
- .... 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
- Template use to specify a package name. Package {{package|org.rodinp.core_block}} contains the database API.299 bytes (36 words) - 20:45, 22 February 2009
- .... 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
File:UMLBRefinementChain.jpg screenshot of package diagram showing a refinement chain(317 × 362 (23 KB)) - 20:49, 30 April 2020- === 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
- ...ument intends to give a relevant overview of the work achieved within work package 3 ''Methods and Tools for Model Construction and Proof'', during the final The document is divided according to the work package tasks: general platform maintenance, improvement of automated proof, model2 KB (296 words) - 14:27, 6 November 2014
- ...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
- ...for \uparrow) and/or with the modification needed to use the ''bsymb.sty'' package.1,012 bytes (167 words) - 20:42, 2 July 2008
- * 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