Difference between revisions of "Code Generation Tutorial"
From Event-B
Jump to navigationJump to searchimported>Andy (New page: * A tutorial ** Step 1 - Create the tasking development. ** Step 2 - Add annotations. ** Step 3 - Invoke translators.) |
imported>Andy |
||
| Line 1: | Line 1: | ||
| − | + | === 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 1 - Create the tasking development. | ||
** Step 2 - Add annotations. | ** Step 2 - Add annotations. | ||
** Step 3 - Invoke translators. | ** 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.
