Search results

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

• Tool Development Roadmap
  |rowspan="5"|'''Composition and decomposition'''<br/>[Southampton / Düsseldorf / Systerel] |Support for composition and decomposition
  4 KB (584 words) - 09:50, 12 September 2013
• Outstanding Tooling Issues
  * Flattening of Composition Machines, and Machines at the Implementation level, composed machine refine
  759 bytes (122 words) - 08:56, 29 November 2011
• Decomposition Release History
  * When decomposing using the shared event style, a shared event composition machine is created which allows the reassembly of the sub-components (to va [[Category:Composition]]
  3 KB (343 words) - 10:21, 25 November 2014
• Rodin Plug-ins
  * [[Parallel Composition using Event-B]] allows the composition of machines through events for Event-B. ...tures (machines|contexts) and helps the user in resolving conflicts before composition.
  5 KB (757 words) - 16:19, 13 February 2020
• Details for Maintaining Main Rodin Update Site
  <nowiki><!--****** COMPOSITION AND DECOMPOSITION CATEGORY ****** --></nowiki> <nowiki><!-- Shared Event Composition v1.4.0 --></nowiki>
  39 KB (4,626 words) - 08:33, 6 April 2012
• Current Developments
  ==== Parallel Composition Plug-in ==== [[Southampton]] is in charge of the [[Parallel Composition using Event-B]] .
  12 KB (1,869 words) - 16:35, 18 March 2014
• Group refinement
  ...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
  5 KB (777 words) - 23:20, 6 December 2010
• D23 Flow Plug-in
  Sequential composition of events may be expressed in a number of ways: ...sm in event selection, model checking is likely to be more efficient for a composition of a machine with event ordering information.
  4 KB (609 words) - 11:37, 8 January 2010
• Old Flow Plug in page
  Sequential composition of events may be expressed in a number of ways: ...means to provide a formal proof for the various cases of sequential event composition.
  11 KB (1,869 words) - 23:48, 21 January 2011
• Template:Dev News/Archives
  * 26/02/09: Shared Event Composition available at main update site * 24/02/09: Shared Event Composition plug-in updated to Rodin version 0.9.2.1
  7 KB (848 words) - 21:22, 5 April 2011
• State-Machines and Code Generation
  ...ntain one or more state-machines. We have yet to explore the decomposition/composition of machines containing state-machines. In principal we should be able to ap The body can be viewed as a parallel composition of events, made up of all of the outgoing transitions of ''State A''. These
  4 KB (659 words) - 09:47, 17 May 2012
• User:Jens/Code generation Using Flow Analysis
  # event composition
  1 KB (201 words) - 16:46, 20 October 2009
• User:Nicolas/Collections/ADVANCE Deliverable D3.4
  ...lity of the supporting documentation and tutorials. It also reports on the composition / decomposition cookbook. ...Nicolas/Collections/ADVANCE D3.4 Model Composition and Decomposition|Model Composition and Decomposition]] (Asieh Salehi)
  5 KB (780 words) - 14:57, 6 October 2014
• 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

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