Search results

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

• D45 Code Generation
  * supporting other target languages than just Ada, == Targeting new Languages ==
  12 KB (1,818 words) - 08:31, 20 April 2012
• Rodin Workshop 2016
  ...df]], [[Media:Event-B Specification Templates for Defining Domain Specific Languages-slides.pdf|slides]])
  5 KB (664 words) - 18:29, 6 June 2016
• Transformation patterns
  ...eclipse.org/gmt/epsilon/ Epsilon framework] of interoperatable programming languages which are used to operate over the given EMF models (Event-B in our case). ...is theoretically possible to import and use files written in other Epsilon languages. The description of syntax and facilities provided by Epsilon can be found
  7 KB (1,011 words) - 13:08, 1 July 2013
• D23 Flow Plug-in
  * Bridging the gap between high-level workflow and architectural languages, and Event-B.
  4 KB (609 words) - 11:37, 8 January 2010
• State-Machines and Code Generation
  ...model. The IL1 model is then used to generate code for the various target languages that may have been implemented. We have also updated the IL1-to-target code
  4 KB (659 words) - 09:47, 17 May 2012
• Language of an Event-B Component
  ...as proofs can be edited independently and therefore expressed in different languages across time.
  4 KB (692 words) - 15:06, 20 November 2013
• Event-B Classdiagrams
  ...epresenting the class instance (similar to 'this' or 'self' in programming languages). When in variable classes (i.e. a class that elaborates a variable) method
  6 KB (976 words) - 05:07, 6 October 2015
• Constrained Dynamic Parser
  === Some Existing Extensible Languages ===
  27 KB (3,967 words) - 13:21, 15 February 2010
• D23 TEXT
  ...ors for EMF models are less strongly based on files than editors for other languages. The EMF framework has its own notification system for changes in models. T
  8 KB (1,257 words) - 15:56, 28 January 2010
• ADVANCE D3.2 Model Checking
  ...ying on technology developed independently and using different programming languages and paradigms) of validation for first-order predicates, which should prove
  11 KB (1,711 words) - 09:47, 26 June 2012
• D32 Code generation
  ...lity of translating the Common Language Model to EMF models of programming languages such as Ada and C, in addition to producing textual source. While the EMF r
  15 KB (2,298 words) - 15:08, 27 January 2011
• ADVANCE D3.2 General Platform Maintenance
  ...model. The IL1 model is then used to generate code for the various target languages that may have been implemented. We have also updated the IL1-to-target code
  20 KB (3,030 words) - 13:18, 18 July 2012
• D45 Prover Enhancement
  ...ying on technology developed independently and using different programming languages and paradigms) of validation for first-order predicates, which should prove
  21 KB (3,334 words) - 21:20, 20 April 2012
• D45 General Platform Maintenance
  ...e to create a visualization not requiring additional skills in programming languages.
  35 KB (5,228 words) - 10:12, 23 April 2012