Difference between revisions of "Code Generation Tutorial"
From Event-B
Jump to navigationJump to searchimported>Andy |
imported>Andy |
||
Line 1: | Line 1: | ||
+ | '''This Page is Under Construction''' | ||
+ | |||
=== Tutorial === | === Tutorial === | ||
Revision as of 16:04, 7 December 2010
This Page is Under Construction
Tutorial
The aim of the tutorial is to give a allow users to explore the approach with a relatively simple example. The example uses a shared buffer and reader and writer process.
- Step 1 - Create the tasking development.
- Step 2 - Add annotations.
- Step 3 - Invoke translators.