Tasklist for EventB meta model development

From Event-B
Revision as of 15:37, 27 May 2009 by imported>Colin
Jump to navigationJump to search
What Who When
Finalize EMF model C, F June 2009
Implement persistence API C,F May 2009
Text tools (partitially) F January 2009
Basic documentation on wiki-WIP A, C, F January 2009
Detailed documentation C, F June 2009
Presentation for tooling meeting A January (end) 2009
Investigate EMF Compare A March 2009
Input for deliverable on wiki C, F Friday, 12th Dec
Project diagram C July 2009
Migrate pattern editor A Sept 2009
Text editor released F June 2009
Reimplement UML-B (feasibility) C July-Sept 2009