Decomposition Plug-in User Guide

From Event-B
Revision as of 09:28, 3 November 2009 by imported>Pascal (→‎Decomposing)
Jump to navigationJump to search

Introduction

Installing and Updating

Release Notes

Decomposition Plug-in Release History

Decomposing

Selecting the Input Machine

Setting the Preferences

Decomposition style, decomposition of the contexts, etc.

Importing / Exporting the Configuration

Reporting a Bug or Requesting a Feature

Bugs

Feature Requests

Tips and Tricks

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