Search results

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

• 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
• Rodin Platform 1.3 Release Notes
  * [[Parallel_Composition_using_Event-B | Shared Event Composition plug-in (version 1.1.6)]] * [[Feature_Composition_Release_History|Feature Composition Plug-in ?]]
  12 KB (1,642 words) - 13:21, 28 July 2010
• Rodin Platform 2.5.0 External Plug-ins
  | ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.5.1 || <span style="color:green">available</span>|| 2.5.x || 25th Ju
  8 KB (1,138 words) - 14:32, 23 November 2012
• D23 Modularisation Plug-in
  ...er approach. The procedure call concept is used to accomplish single point composition/decomposition. There are a number of reasons to try to split a development
  6 KB (921 words) - 11:43, 8 January 2010
• Rodin Platform 3.0.0 External Plug-ins
  | ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.7.0 || <span style="color:green"> available</span> || || 25th Nov. 2
  13 KB (1,415 words) - 07:56, 28 May 2015
• Rodin Platform 2.7.0 External Plug-ins
  | ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.6.0 || <span style="color:#8B4513"> available</span>|| || 16th Augus
  12 KB (1,324 words) - 13:37, 3 June 2013
• Rodin Platform 2.8.0 External Plug-ins
  | ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.6.1 || <span style="color:green"> available</span>|| || 04th July 20
  13 KB (1,455 words) - 13:43, 28 November 2014
• Past Developments
  ...mpare/merge editor (which can be used for team based development), pattern/composition tools, Diagram Editors.
  6 KB (915 words) - 16:57, 27 February 2014
• Rodin Platform 3.1.0 External Plug-ins
  | ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.7.0 || <span style="color:#8B4513"> not checked</span> || || 25th No
  13 KB (1,452 words) - 09:38, 18 June 2015
• Rodin Workshop 2014
  | || 09h40 || Composition Operators for Event-B. CO4EB Rodin plugin [http://wiki.event-b.org/images/A
  8 KB (1,073 words) - 06:13, 24 June 2014
• D32 Scalability
  ...at Event-B tries to address: proof scalability. Accumulation of sequential composition through refinement steps may result in unmanageable proof obligations. It i ...not limited to sequential composition and there is also a form of parallel composition. An essential property of the method is that the group refinement relation
  19 KB (2,944 words) - 15:28, 27 January 2011

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