Search results

Create the page "What links here" on this wiki! See also the search results found.

• Requirements for merging models
  == External Links ==
  415 bytes (64 words) - 10:36, 25 August 2009
• ReqsManagement
  The Requirements Plugin described here is deprecated and will not be developed further. Instead, the ProR platfor * A Requirements Project manages Links between individual requirements and the Event-B Specification.
  2 KB (335 words) - 14:16, 3 December 2010
• ProR
  ...tructure. Requirements are presented in a table-view. Creating annotated links between requirements is supported. To find out more about the general func ...the update site for the integration plugin is already included. Otherwise, here are the current available update sites:
  6 KB (915 words) - 10:04, 21 June 2013
• Tool Development Roadmap
  |Develop links between theory plug-in and SMT |Develop links between theory plug-in and ProB
  4 KB (584 words) - 09:50, 12 September 2013
• UML-B notes for 2.0.1
  Supertype links cannot be drawn to Refined Class or Extended Class Type
  1 KB (162 words) - 19:48, 17 October 2010
• Project Diagram
  ...an be unsatisfactory and for this reason manual moving of the elements and links is enabled to a user. Also, "Arrange All" button can be very helpful in sit
  2 KB (390 words) - 11:38, 16 November 2010
• UML-B notes for 0.5.8
  Supertype links cannot be drawn to Refined Class or Extended Class Type
  2 KB (353 words) - 12:45, 12 August 2009
• Using Rodin as Target Platform
  ...essential to build the target platform in the order given above, otherwise links to source files do not work correctly in Eclipse.
  4 KB (678 words) - 05:58, 24 October 2014
• D45 Scalability
  Links for Improved Performance Links for Design Pattern Management / Generic Instantiation
  13 KB (1,991 words) - 20:57, 20 April 2012
• D45 Prover Enhancement
  Links for New rewriting and inference rules: Links for Advanced Preferences for Auto-tactics:
  21 KB (3,334 words) - 21:20, 20 April 2012
• User Documentation Overhaul
  * The tutorial doesn't make clear what knowledge is expected when starting the tutorial. ...ce manual seems fairly complete, but is hard to navigate (mixture of PDFs, links and wiki information, combined with information that is marked as outdated,
  5 KB (720 words) - 11:28, 15 September 2011
• Event-B Statemachines
  ...divided into three categories: ''States'', ''State Features'' and ''State Links''. When a diagram element is selected on canvas the Properties View shows i States can have transitions from one to another, created from ''State Links''.
  13 KB (2,134 words) - 08:04, 6 October 2015
• Requirements Tutorial
  ...the Requirements Map. Three formats are currently supported (see below). Here is a [[Sample Plain Text Requirements Specification]] that we are going to '''Note 1:''' While Identifier and Document can be edited here, it shouldn't be done (changes will be lost upon next synchronization).
  7 KB (995 words) - 15:44, 25 February 2009
• ADVANCE Deliverable D3.3
  The deliverable will give to the project reviewers some insight on what happened in the work package 3, concerning its 3 main objectives: * What are the common denominations?
  6 KB (830 words) - 13:21, 7 October 2013
• Revisiting Feasibility POs
  However, stating the witness that links after values of abstract and concrete This is actually what is implemented in the proof obligation generator of Rodin
  8 KB (1,284 words) - 18:33, 30 January 2012
• EMF framework for Event-B/Extensibility Issues
  ...esentation of model elements and attributes. This extension point however, links information to Rodin elements. We require the same information linked to EM
  7 KB (1,094 words) - 10:50, 22 January 2010
• D32 UML-B
  * Support for re-attaching links (e.g. transitions) to different source/target elements,
  9 KB (1,382 words) - 11:05, 27 January 2011
• Rodin Developer Support
  ...e Feature jar will take care of unchanged plugin jars and use the existing links. Only new jars should be included in a particular release.
  8 KB (1,260 words) - 12:45, 30 July 2015
• Indexing System
  The '''Graph''' stores nodes, applies changes to their links and maintains their coherence: if N1 is a predecessor of N2 then N2 is a su Restoring and saving index data (see [[#Persistence|Persistence]] here before) may lead to concurrency issues if deltas or queries were to be proc
  10 KB (1,541 words) - 17:41, 9 March 2009
• Rodin Platform 2.0 Release Notes
  == What's New in Rodin 2.0? == ...can now be displayed'''. It is now possible for the user to have a look at what a proof rule really did. A new view, the Rule Details View, was added to th
  15 KB (2,008 words) - 15:34, 10 January 2011

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