Tasklist for EventB meta model development: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Colin
No edit summary
imported>Colin
No edit summary
 
Line 6: Line 6:
|Input for deliverable on wiki
|Input for deliverable on wiki
|C, F
|C, F
|Friday, 12th Dec
|Dec 2009
|-
|-
|Basic documentation on wiki-WIP
|Basic documentation on wiki-WIP

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