Read Me

OpenRADL Project Standards
--------------------------

1. Open Source Repository
      http://openradl.sourceforge.net
      https://sourceforge.net/projects/openradl/
      svn co https://openradl.svn.sourceforge.net/svnroot/openradl openradl 

2. License:       GNU Lesser GPL

3. Source Header: TBD

4. Sub-projects: 
      core   - org.openradl.core 

      plugin - org.openradl.plugin

      sca    - org.openradl.import.sca

      dfa    - org.openradl.export.dfa
      ltsa   - org.openradl.export.ltsa
      prism  - org.openradl.export.prism
      uppaal - org.openradl.export.uppaal
   
5. Release Numbers: Major.Minor.Fix
      Major: Non-compatible with previous releases.
      Minor: New or Updated features.
      Fix:   Same features but with bug fixes.

      Pre-release:    Major No. = 0.
      Public release: Major No. = 1+.

6. External dependancies managed with Maven.

7. Test Cases: 
   JUnit Version 4.
   All test cases must pass.


------------- end of file ---------------