GitHub - jastram/pror-rodin: ProR Rodin Integration

ProR - Rodin Integration

This project provides an integration for ProR and Rodin, both Eclipse-based applications:

ProR is a platform for Requirements Engineering, based on the RIF/ReqIF standard.
Rodin is a platform for formal modeling using the Event-B formal method.

To use this project, you also need the ProR and Rodin source code. The details are documented on the ProR Website.

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
org.pror.feature.rodin		org.pror.feature.rodin
org.pror.presentation.rodin.phenomenon.tests		org.pror.presentation.rodin.phenomenon.tests
org.pror.presentation.rodin.phenomenon		org.pror.presentation.rodin.phenomenon
org.pror.presentation.wrspm.xtext.ui		org.pror.presentation.wrspm.xtext.ui
org.pror.presentation.wrspm.xtext		org.pror.presentation.wrspm.xtext
org.pror.presentation.wrspm		org.pror.presentation.wrspm
org.pror.rodin		org.pror.rodin
.gitignore		.gitignore
README.mediawiki		README.mediawiki