Search results

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

• ADVANCE Deliverable D3.3
  and report on the progress of composition / decomposition enhancements against plan. [month 24] :[[ADVANCE D3.3 Model Composition and Decomposition|Model Composition and Decomposition]] (Asieh Salehi)
  6 KB (830 words) - 13:21, 7 October 2013
• ADVANCE D3.3 Revised Roadmap
  In the first phase, they are in need of support for composition. In the second phase, they will need support for multi-simulation, test-cas Help and improvements on composition and decomposition will then be provided to WP1 and WP2 according to their f
  4 KB (677 words) - 16:41, 2 December 2013
• Decomposition Plug-in User Guide
  ## Select the ''Model Decomposition'' feature under the ''Composition and Decomposition'' category, then click the check box === Shared Event Composition ===
  17 KB (2,521 words) - 15:25, 4 July 2013
• ADVANCE D3.2 Introduction
  ...rovement of automated proof, language extension, model checking, and model composition and decomposition.
  2 KB (371 words) - 16:27, 13 July 2012
• Rodin Platform 2.0 External Plug-ins
  | ||[[Parallel_Composition_using_Event-B | Shared Event Composition plug-in]] || 1.2 || <span style="color:#006400">available</span>|| || || ||
  4 KB (475 words) - 18:40, 22 February 2011
• Feature Modelling Tool
  ...ritten in a programming language) is the unit of reuse, specialization and composition. It provides ways to manage variabilites and commonalities within a product
  2 KB (320 words) - 07:06, 1 August 2011
• Modularisation Plug-in
  ...er approach. The procedure call concept is used to accomplish single point composition/decomposition. ===Module Composition===
  18 KB (2,784 words) - 10:57, 6 September 2010
• EMF framework for Event-B
  ====[[Parallel Composition using Event-B|Shared Event Composition Tool]]==== See [[Parallel Composition using Event-B]].
  26 KB (3,961 words) - 13:04, 19 May 2020
• Rodin Platform 2.1 External Plug-ins
  | ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.3.1 || <span style="color:#006400"> available</span>|| || 9th Mar. 2
  6 KB (746 words) - 16:17, 24 January 2012
• Rodin Proof Tactics
  * '''Additional details''': This tactic applies a composition of tactics [[#Conjunctive Goal]], [[#Implication Goal]] and [[#For-all Goal == Composition Image ==
  57 KB (6,150 words) - 17:25, 21 February 2012
• Relevance Filter Plug-in
  You can install the feature composition plug-in from the Rodin Update Site.
  4 KB (569 words) - 07:04, 1 August 2011
• Rodin Keyboard User Guide
  ...lign="center" | \bcomp || align="center" | <math>\bcomp</math> || Backward composition || U+2218 ...align="center" | \fcomp || align="center" | <math>\fcomp</math> || Forward composition || U+003B
  14 KB (1,930 words) - 12:58, 21 July 2010
• Generic Instantiation Plug-in User Guide
  ## Select the ''Generic Instantiation (Soton)'' feature under the ''Composition and Decomposition'' category, then click the check box
  5 KB (720 words) - 15:20, 4 July 2013
• Rodin Platform 2.2 External Plug-ins
  | ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.4.0 || <span style="color:#006400"> available </span>|| || 29th June
  7 KB (942 words) - 14:03, 3 October 2011
• Rodin Workshop 2009
  ...iki.event-b.org/images/Composition,_Renaming_and_Generic_Instantiation.pdf Composition, Renaming and Generic Instantiation in Event-B Development]
  5 KB (766 words) - 09:59, 21 September 2011
• Rodin Platform 3.4.0 External Plug-ins
  ...p_mch_obj.gif|20px]] ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.7.1 || <span style="color:#8B4513"> not checked </span> || || 5th Ju
  6 KB (855 words) - 16:00, 12 December 2019
• Rodin Platform 2.3 External Plug-ins
  | ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.4.0 || <span style="color:green">available</span>|| || 29th June 201
  8 KB (1,053 words) - 09:10, 4 January 2012
• Rodin Platform 2.6.0 External Plug-ins
  | ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.6.0 || <span style="color:green"> available </span>|| 2.6.x || 16th
  8 KB (1,105 words) - 07:29, 17 August 2012
• Rodin Platform 2.4 External Plug-ins
  | ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.4.0 || <span style="color:green">available</span>|| || 26th June 201
  8 KB (1,106 words) - 08:35, 17 May 2012
• Rodin Platform 1.1 Release Notes
  * [[Feature_Composition_Release_History|Feature Composition Plug-in 0.0.3]] * [[Shared Event Composition_Release_History|Shared Event Composition Plug-in 1.1.4]]
  9 KB (1,298 words) - 10:06, 28 July 2010

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