Downloads
ROMAS development framework
Name | Version | Comments |
---|---|---|
ROMAS modeling Plugins | 1.0 | These plug-ins allow to model ROMAS designs by using the Eclipse textual and tree editors. |
RO2P - ROMAS to Promela Plugin | 1.0 | The workflow.properties should be configurated after integrated in the Eclipse framework. |
Spin Plugin for Eclipse | 1.0.4 | This plug-in is maintained by external providers. |
ROMAS metamodel in ecore format