Difference between revisions of "Tasklist for EventB meta model development"

From Event-B
Jump to navigationJump to search
imported>Fabian
(New page: {| cellpadding="5" cellspacing="0" border="1" !What !Who !When |- |Finalize persistence API |A |January 2009 |- |Finalize EMF model |A, C, F |January 2009 |- |Implement persistence API |A,...)
 
imported>Mathieu
Line 60: Line 60:
 
|February 2009
 
|February 2009
 
|}
 
|}
 +
[[Category:Organization]]

Revision as of 21:46, 11 December 2008

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