Search results

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

Page title matches

• File:Event-B Specification Templates for Defining Domain Specific Languages-slides.pdf Event-B Specification Templates for Defining Domain Specific Languages (slides) (891 KB) - 20:50, 30 April 2020

Page text matches

• File:Event-B Specification Templates for Defining Domain Specific Languages-slides.pdf Event-B Specification Templates for Defining Domain Specific Languages (slides) (891 KB) - 20:50, 30 April 2020

• File:Event-B Specification Templates for Defining Domain Specific Languages.pdf Event-B Specification Templates for Defining Domain Specific Languages (Ulyana Tikhonova) (105 KB) - 20:49, 30 April 2020

• Template:Admin tip
  {{Languages|Template:Admin tip}}
  329 bytes (41 words) - 22:44, 4 July 2008
• Template:Warning
  {{Languages|Template:Warning}}
  1 KB (187 words) - 09:13, 9 December 2010
• D45 Code Generation
  * supporting other target languages than just Ada, == Targeting new Languages ==
  12 KB (1,818 words) - 08:31, 20 April 2012
• Talk:Event Model Decomposition
  ...e nice to allow for refining the shared variables since many (less formal) languages support refinement of the interface.
  1 KB (230 words) - 06:27, 11 April 2012
• Help:Preferences
  ...n. MediaWiki's default interface includes localisations for all supported languages, but this is not necessarily the case with extensions or custom skins. Page ===Languages===
  7 KB (1,136 words) - 08:56, 5 July 2008
• 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
• Help:Templates
  * Interlanguage links to similar templates in other languages
  5 KB (845 words) - 20:18, 10 September 2008
• 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
• Help:Tables
  {{Languages|Help:Tables}}
  10 KB (1,407 words) - 23:14, 4 July 2008
• 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
• User:Nicolas/Collections/ADVANCE D3.4 Model Checking
  ...ings of the 12th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, ACM, 1985</ref> <ref name="LTLpaper"> </ref>.
  16 KB (2,629 words) - 10:31, 25 November 2014

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