Code Generation Activity

From Event-B
Revision as of 11:24, 4 December 2009 by imported>Alexili
Jump to navigationJump to search

---

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