The Use of Theories in Code Generation: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Andy New page: TODO - some description of the use of Theories in CG |
imported>Andy No edit summary |
||
| Line 1: | Line 1: | ||
== The Theory Plug-in == | |||
=== The GUI === | |||
<div id="fig:Translation Rules"> | |||
<br/> | |||
[[Image:TheoryCGRules.png|center||caption text]] | |||
<center>'''Figure 1''': Translation Rules</center> | |||
<br/> | |||
</div> | |||
Revision as of 08:16, 15 May 2012
The Theory Plug-in
The GUI
