RODIN - Browse /Plugin_Decomposition/1.2.0 at SourceForge.net

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
ch.ethz.eventb.decomposition_1.2.0.jar	2011-02-11	492.6 kB	0
ch.ethz.eventb.decomposition.ui_1.2.0.jar	2011-02-11	179.0 kB	1
ch.ethz.eventb.decomposition.core_1.2.0.jar	2011-02-11	64.8 kB	0
ch.ethz.eventb.decomposition_feature_1.2.0.jar	2011-02-11	14.4 kB	0
ch.ethz.eventb.decomposition.1.2.0.zip	2011-02-11	2.1 MB	0
Totals: 5 Items		2.9 MB	1

The Model Decomposition allows you to decompose a model into sub-models. 
Two styles of decomposition are supported: shared variables and shared events.
It is possible to save the decomposition configuration into a file.
More information can be found at http://wiki.event-b.org/index.php/Decomposition_Plug-in_User_Guide.

Version 1.3.1 - Compatible with Rodin 3.3
Version 1.3.0 - Compatible with Rodin 3.2
Version 1.2.2 - Compatible with Rodin 2.2

Source: readme.txt, updated 2017-07-04

You Might Also Like

Small Business HR Management Software Icon

Small Business HR Management Software

Get a unified timekeeping, scheduling, payroll, HR and benefits portal with WorkforceHub.

WorkforceHub is the instantly useful, delightfully simple to use, small business solution for tracking time, scheduling and hiring. It scales as your business grows while delivering the mission-critical features an organization needs. It is tailored to, built for, and priced for small business employers.

Holistically view your business data within a single solution. Icon

Holistically view your business data within a single solution.

For IT service providers and MSPs that need a data platform to manage their processes

BrightGauge, a ConnectWise solution, was started in 2011 to fill a missing need in the small-to-medium IT Services industry: a better way to manage data and provide the value of work to clients. BrightGauge Software allows you to display all of your important business metrics in one place through the use of gauges, dashboards, and client reports. Used by more than 1,800 companies worldwide, BrightGauge integrates with popular business solutions on the market, like ConnectWise, Continuum, Webroot, QuickBooks, Datto, IT Glue, Zendesk, Harvest, Smileback, and so many more. Dig deeper into your data by adding, subtracting, multiplying, and dividing one metric against another. BrightGauge automatically computes these formulas for you. Want to show your prospects how quick you are to respond to tickets? Show off your data with embeddable gauges on public sites.