Difference between revisions of "Tasklist for EventB meta model development"
From Event-B
Jump to navigationJump to searchimported>Colin |
imported>Colin |
||
Line 44: | Line 44: | ||
|July 2009 | |July 2009 | ||
|- | |- | ||
− | | | + | |Records Extension |
|C | |C | ||
− | | | + | |Sept 2009 |
+ | |- | ||
+ | |Team-working tools | ||
+ | |? | ||
+ | |Sept 2009 | ||
+ | |- | ||
+ | |UML-B Rewrite | ||
+ | |C | ||
+ | |Jan 2010 | ||
|- | |- | ||
|Migrate pattern editor | |Migrate pattern editor |
Revision as of 15:45, 27 May 2009
What | Who | When |
---|---|---|
Input for deliverable on wiki | C, F | Friday, 12th Dec |
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 |
Records Extension | C | Sept 2009 |
Team-working tools | ? | Sept 2009 |
UML-B Rewrite | C | Jan 2010 |
Migrate pattern editor | A | Sept 2009 |