Difference between revisions of "Tasklist for EventB meta model development"
From Event-B
Jump to navigationJump to searchimported>Colin |
imported>Colin |
||
| (4 intermediate revisions by the same user not shown) | |||
| Line 6: | Line 6: | ||
|Input for deliverable on wiki | |Input for deliverable on wiki | ||
|C, F | |C, F | ||
| − | | | + | |Dec 2009 |
|- | |- | ||
|Basic documentation on wiki-WIP | |Basic documentation on wiki-WIP | ||
| Line 44: | Line 44: | ||
|July 2009 | |July 2009 | ||
|- | |- | ||
| − | | | + | |Presentation for Rodin workshop |
| + | |C, F | ||
| + | |July 2009 | ||
| + | |- | ||
| + | |Records Extension | ||
|C | |C | ||
| − | | | + | |Sept 2009 |
| + | |- | ||
| + | |Team-working tools | ||
| + | |? | ||
| + | |Sept 2009 | ||
|- | |- | ||
|Migrate pattern editor | |Migrate pattern editor | ||
|A | |A | ||
|Sept 2009 | |Sept 2009 | ||
| + | |- | ||
| + | |UML-B Rewrite | ||
| + | |C | ||
| + | |Jan 2010 | ||
|} | |} | ||
[[Category:Organization]] | [[Category:Organization]] | ||
Latest revision as of 15:48, 27 May 2009
| What | Who | When |
|---|---|---|
| Input for deliverable on wiki | C, F | Dec 2009 |
| Basic documentation on wiki-WIP | A, C, F | January 2009 |
| Text tools (partitially) | F | January 2009 |
| Presentation for tooling meeting | A | January (end) 2009 |
| Investigate EMF Compare | A | March 2009 |
| Implement persistence API | C,F | May 2009 |
| Finalize EMF model | C, F | June 2009 |
| Detailed documentation | C, F | June 2009 |
| Text editor released | F | June 2009 |
| Project diagram | C | July 2009 |
| Presentation for Rodin workshop | C, F | July 2009 |
| Records Extension | C | Sept 2009 |
| Team-working tools | ? | Sept 2009 |
| Migrate pattern editor | A | Sept 2009 |
| UML-B Rewrite | C | Jan 2010 |
