Search results

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

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