D32 Teamwork
From Event-B
Revision as of 15:00, 24 November 2010 by imported>Colin (New page: === Overview === Teamwork consists of * SVN enabling teamwork plug-in * Decomposition methods * === Motivations === Main reasons for implementing teamwork are: * SVN Teamwork === Cho...)
Overview
Teamwork consists of
- SVN enabling teamwork plug-in
- Decomposition methods
Motivations
Main reasons for implementing teamwork are:
- SVN Teamwork
Choices / Decisions
- SVN Teamwork - Rodin free verion of model is needed
Available Documentation
Planning
This paragraph shall give a timeline and current status (as of 28 Jan 2011).