Tasklist for EventB meta model development

From Event-B
Revision as of 21:46, 11 December 2008 by imported>Mathieu (Category:Organization)
Jump to navigationJump to search
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