D45 Code Generation: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Tommy m New page: = Overview = = Motivations = = Choices / Decisions = = Available Documentation = = Status = |
imported>Tommy mNo edit summary |
||
| Line 1: | Line 1: | ||
= Overview = | = Overview = | ||
{{TODO}} An overview of the work done about code generation. | |||
= Motivations = | = Motivations = | ||
{{TODO}} To be completed. | |||
= Choices / Decisions = | = Choices / Decisions = | ||
{{TODO}} To be completed. | |||
= Available Documentation = | = Available Documentation = | ||
{{TODO}} To be completed. | |||
= Status = | = Status = | ||
{{TODO}} To be completed. | |||
Revision as of 13:18, 7 November 2011
Overview
TODO An overview of the work done about code generation.
Motivations
TODO To be completed.
Choices / Decisions
TODO To be completed.
Available Documentation
TODO To be completed.
Status
TODO To be completed.
