Difference between revisions of "D45 Code Generation"
From Event-B
Jump to navigationJump to searchimported>Tommy m (New page: = Overview = = Motivations = = Choices / Decisions = = Available Documentation = = Status =) |
imported>Tommy m |
||
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.