Search results

From Event-B
Jump to navigationJump to search

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

Page title matches

Page text matches

  • Feature Composition Plug-in
    '''Feature Composition Plug-in''' provides support for composing Event-B features. ...ls. The composition model is saved in the Rodin database for replaying the composition later.
    1 KB (192 words) - 10:15, 19 October 2010
  • Modularisation Plug-in Composition Semantics
    ==The meaning of module composition== ...a modular specification; it serves as a reference for implementation-stage composition strategies.
    652 bytes (94 words) - 20:58, 10 November 2009
  • File:Composition, Renaming and Generic Instantiation.pdf
    Composition,_Renaming_and_Generic_Instantiation
    (2.72 MB) - 20:50, 30 April 2020
  • File:CompFile cm11 cmp.png
    Composition file pretty print
    (778 × 553 (52 KB)) - 20:50, 30 April 2020
  • File:Cmp mch obj.gif
    Compose machine icon for Shared Event Composition plugin
    (16 × 16 (191 bytes)) - 20:49, 30 April 2020
  • User:Nicolas/Collections/ADVANCE D3.4 Model Composition and Decomposition
    Composition is the process by which it is possible to combine different sub-systems int ...ts. Composition and decomposition can be seen as inverse operations: while composition starts with different components that can be assembled together, decomposit
    2 KB (346 words) - 07:37, 25 November 2014
  • File:Feature Composition Tool User Manual.pdf
    [[Category:Composition plugin]]
    (165 KB) - 20:50, 30 April 2020
  • User talk:Renato
    Thank you very much for your contribution about parallel composition and refactoring... [[User:Mathieu|Mathieu]] 20:30, 11 November 2008 (UTC)
    142 bytes (17 words) - 20:31, 11 November 2008
  • Category:Feature composition plugin
    [[Category:Composition]]
    1 member (0 subcategories, 0 files) - 09:00, 4 March 2009
  • Category:Parallel composition plugin
    [[Category:Composition]]
    2 members (0 subcategories, 0 files) - 08:59, 4 March 2009
  • ADVANCE D3.3 Model Composition and Decomposition
    '''Composition''' is the process by which it is possible to combine different sub-systems Composition and decomposition can be seen as inverse operations: while composition starts with different components that can be assembled together, decomposit
    5 KB (739 words) - 10:48, 23 September 2013
  • Feature Composition Release History
    [[Category:Composition]]
    138 bytes (15 words) - 18:04, 26 February 2010
  • Rodin File Types
    ...{{class|IComposedMachineRoot}} || Composition Definition || Shared-Event Composition ...achineRoot}} || Statically checked Composition Definition || Shared-Event Composition
    3 KB (449 words) - 14:55, 12 March 2019
  • Parallel Composition using Event-B
    ==Shared Event Composition Plug-in == ...the sub-systems can be refined independently on a further stage, preserving composition properties.
    7 KB (1,161 words) - 11:02, 4 July 2013
  • ADVANCE D3.2 Model Composition and Decomposition
    '''Composition''' is the process by which it is possible to combine different sub-systems Composition and decomposition can be seen as inverse operations: while composition starts with different components that can be assembled together, decomposit
    6 KB (891 words) - 17:21, 11 December 2012
  • Shared Event Composition Release History
    ** Problem in loading the composition editor, due to the changes in the the Rodin2.8 ui core (fixed) **Added proof obligations: WD and INV for (composition) invariants and INV, SIM and GRD for refinement; the other POs are expected
    4 KB (550 words) - 10:39, 25 November 2014
  • Template:News/Archives
    * 03/03/09: [[Feature Composition Plug-in|New page and documentation]] about Composition Plug-in ...pdate of [[Current Developments]] ([[Parallel Composition using Event-B|// composition]] & [[Refactoring Framework|Refactoring]])
    3 KB (377 words) - 12:40, 30 May 2013
  • Experiment 1: Event-B basic subset to IL0 in *TL
    ** algorithmic: sequential composition, explicit loop, if-then-else: Ncl [20 Dec]
    481 bytes (66 words) - 11:30, 4 December 2009
  • User:Nicolas/Collections/ADVANCE D3.4 Introduction
    ...d in the frame of the ADVANCE project: ProB, UML-B, ProR, Camille, Theory, Composition, SMT. Other plug-ins, available for the Rodin platform but not maintained w ...improvement of automated proof, model checking, language extension, model composition and decomposition.
    2 KB (296 words) - 14:27, 6 November 2014
  • ADVANCE D3.3 Introduction
    ...d in the frame of the ADVANCE project: ProB, UML-B, ProR, Camille, Theory, Composition, SMT. Other plug-ins, available for the Rodin platform but not maintained w ...improvement of automated proof, model checking, language extension, model composition and decomposition.
    2 KB (325 words) - 17:32, 29 November 2013

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

Retrieved from ‘https://wiki.event-b.org/index.php/Special:Search’