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

From Event-B
Jump to navigationJump to search
imported>Colin
imported>Colin
Line 44: Line 44:
 
|July 2009
 
|July 2009
 
|-
 
|-
|Reimplement UML-B (feasibility)
+
|Records Extension
 
|C
 
|C
|July-Sept 2009
+
|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