Code Generation Tutorial: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Andy No edit summary |
imported>Andy |
||
| Line 3: | Line 3: | ||
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. | 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. | |||
Revision as of 10:17, 1 December 2010
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.
