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...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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).

Retrieved from ‘https://wiki.event-b.org/index.php?title=D32_Teamwork&oldid=2636’