Tasklist for EventB meta model development
From Event-B
| What | Who | When |
|---|---|---|
| Finalize persistence API | A | January 2009 |
| Finalize EMF model | A, C, F | January 2009 |
| Implement persistence API | A, C | January 2009 |
| Text tools (partitially) | F | January 2009 |
| Basic documentation on wiki-WIP | A, C, F | January 2009 |
| Detailed documentation | F | May 2009 |
| Look for cooperation | A, C, F | now |
| Presentation for tooling meeting | A | January (end) 2009 |
| Investigate EMF Compare | A | February 2009 |
| Input for deliverable on wiki | C, F | Friday, 12th Dec |
| Project diagram | C | January 2009 |
| Migrate pattern editor | A | February 2009 |
| Text editor (basic version) | F | January 2009 |
| Reimplement UML-B (feasibility) | C | February 2009 |
