FAQ: Difference between revisions
imported>Mathieu |
imported>Mathieu m Developer FAQ / How do I generate a ''Rodin'' product from CVS |
||
| Line 14: | Line 14: | ||
This manual installation of plug-ins is described in ''[[Installing external plug-ins manually]]''. | This manual installation of plug-ins is described in ''[[Installing external plug-ins manually]]''. | ||
== Developer FAQ == | |||
=== Using Rodin-CVS from eclipse consume too much memory === | |||
You can [[#How do I generate a Rodin product from CVS|generate a product]] and use it as if it was a normal release. | |||
=== How do I generate a ''Rodin'' product from CVS === | |||
In the project ''org.rodinp.platform'', right-click on ''Rodin.platform'' and select {{menu|export}}. Choose {{menu|Plug-in Development > Eclipse product}} and click on {{button|Next >}} type <tt>Rodin</tt> for the ''Root directory'', and choose the ''Destination directory''. Then click on {{button|Finish}}. | |||
[[Category:User documentation]] | [[Category:User documentation]] | ||
Revision as of 11:54, 29 September 2008
General
What is Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels. More details are available in http://www.event-b.org/
What is Rodin
The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extendable with plugins.
Where does the Rodin name come from
Tool usage
How do I install external plug-ins without using Eclipse Update Manager
Although it is preferred to install additional plug-ins into the Rodin platform using the Update Manager of Eclipse, this might not always be practical. In this case, a manner to install these plug-ins is to emulate either manually or using ad-hoc scripts the operations normally performed by the Update Manager.
This manual installation of plug-ins is described in Installing external plug-ins manually.
Developer FAQ
Using Rodin-CVS from eclipse consume too much memory
You can generate a product and use it as if it was a normal release.
How do I generate a Rodin product from CVS
In the project org.rodinp.platform, right-click on Rodin.platform and select . Choose and click on type Rodin for the Root directory, and choose the Destination directory. Then click on .
