Difference between revisions of "Code Generation Activity"
From Event-B
Jump to navigationJump to searchimported>Alexili (New page: --- === Development Repository ===) |
imported>Alexili |
||
| Line 1: | Line 1: | ||
--- | --- | ||
=== Development Repository === | === Development Repository === | ||
| + | |||
| + | === Agenda === | ||
| + | |||
| + | * Meta-model for COB0 (few versions): Soton | ||
| + | * Meta-model for IL0 based on Ada: NCL [14 Dec] | ||
| + | * Investigate Epsilon/ETL/EGL or ATL | ||
| + | * Experiment 1: Event-B basic subset to IL0 in *TL (main) [22 Dec] | ||
| + | * Experiment 2: IL0/X to text with EGL: Soton [End of January] | ||
| + | |||
| + | * Stable version of COB MM | ||
| + | * Stable version of IL1 MM | ||
| + | * Control flow modelling assistant | ||
| + | * Commit to ?TL | ||
| + | * Infrastructure plugin | ||
| + | * Initial version of: | ||
| + | * COB to IL1 translation rules | ||
| + | * for algorithmic structures | ||
| + | * for math. language | ||
Revision as of 11:24, 4 December 2009
---
Development Repository
Agenda
- Meta-model for COB0 (few versions): Soton
- Meta-model for IL0 based on Ada: NCL [14 Dec]
- Investigate Epsilon/ETL/EGL or ATL
- Experiment 1: Event-B basic subset to IL0 in *TL (main) [22 Dec]
- Experiment 2: IL0/X to text with EGL: Soton [End of January]
- Stable version of COB MM
- Stable version of IL1 MM
- Control flow modelling assistant
- Commit to ?TL
- Infrastructure plugin
- Initial version of:
- COB to IL1 translation rules
- for algorithmic structures
- for math. language
