Difference between revisions of "The Use of Theories in Code Generation"
From Event-B
Jump to navigationJump to searchimported>Andy (New page: TODO - some description of the use of Theories in CG) |
imported>Andy |
||
| 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
