[X] The "/Delphi / FPC Source/Maia.1.0.3.2.source.zip" file could not be found or is not available. Please select another file.

Welcome, Guest! Log In | Create Account

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

Download Now! rodin-1.0-sources.zip (7.0 MB) OR View all files

Browse Files for RODIN

File/Folder Name  Platform Size Date ↓ Downloads Notes/Subscribe
Newest Files
ac.soton.umlb.stateDiagramAnimation.diagram_0.1.0.jar 280.3 KB 2009-12-18 9
ac.soton.umlb.stateDiagramAnimation_0.1.0.jar 43.1 KB 2009-12-18 8
ac.soton.umlb.stateDiagramAnimation.edit_0.1.0.jar 28.3 KB 2009-12-18 8
ac.soton.umlb.stateDiagramAnimation.ui_0.1.0.jar 24.0 KB 2009-12-18 8
ac.soton.umlb.stateDiagramAnimation.feature_0.1.0.jar 11.8 KB 2009-12-18 49
All Files Subscribe
Plugin_UML-B_StateDiagramAnimation 387.5 KB 2009-12-18 82 Subscribe Folder view
0.1.0 387.5 KB 2009-12-18 82 Subscribe Folder view
ac.soton.umlb.stateDiagramAnimation.diagram_0.1.0.jar 280.3 KB 2009-12-18 9
ac.soton.umlb.stateDiagramAnimation_0.1.0.jar 43.1 KB 2009-12-18 8
ac.soton.umlb.stateDiagramAnimation.edit_0.1.0.jar 28.3 KB 2009-12-18 8
ac.soton.umlb.stateDiagramAnimation.ui_0.1.0.jar 24.0 KB 2009-12-18 8
ac.soton.umlb.stateDiagramAnimation.feature_0.1.0.jar 11.8 KB 2009-12-18 49
Plugin_ UML-B 55.4 MB 2009-12-15 40,251 Subscribe Folder view
0.6.1 2.6 MB 2009-12-15 173 Subscribe Folder view
ac.soton.umlb_0.6.1.200912151452.jar 14.7 KB 2009-12-15 89
UMLBReleaseNotes_0.6.1.rtf 727 Bytes 2009-12-15 2
ac.soton.umlb.u2b_0.6.1.jar 75.3 KB 2009-12-15 14
ac.soton.umlb.umlbMetamodel_0.6.1.jar 299.3 KB 2009-12-15 14
ac.soton.umlb.umlbMetamodel.classDiagram_0.6.1.jar 931.6 KB 2009-12-15 14
ac.soton.umlb.umlbMetamodel.contextDiagram_0.6.1.jar 511.4 KB 2009-12-15 13
ac.soton.umlb.umlbMetamodel.stateDiagram_0.6.1.jar 578.6 KB 2009-12-15 13
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.6.1.jar 174.8 KB 2009-12-15 14
0.6.0 3.1 MB 2009-10-18 2,339 Subscribe Folder view
ac.soton.umlb.eventB_0.6.0.jar 26.6 KB 2009-10-18 112
ac.soton.umlb.project_0.6.0.jar 19.4 KB 2009-10-18 111
ac.soton.umlb.u2b_0.6.0.jar 75.3 KB 2009-10-18 101
ac.soton.umlb.ui_0.6.0.jar 41.6 KB 2009-10-18 109
ac.soton.umlb.umlbMetamodel_0.6.0.jar 299.3 KB 2009-10-18 103
ac.soton.umlb.umlbMetamodel.classDiagram_0.6.0.jar 929.6 KB 2009-10-18 102
ac.soton.umlb.umlbMetamodel.contextDiagram_0.6.0.jar 510.3 KB 2009-10-18 101
ac.soton.umlb_0.5.11.jar 35.5 KB 2009-10-18 106
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.6.0.jar 173.6 KB 2009-10-18 102
ac.soton.umlb.umlbMetamodel.edit_0.6.0.jar 134.8 KB 2009-10-18 108
ac.soton.umlb.umlbMetamodel.editor_0.6.0.jar 62.7 KB 2009-10-18 108
ac.soton.umlb.umlbMetamodel.packageDiagram_0.6.0.jar 241.5 KB 2009-10-18 107
ac.soton.umlb.umlbMetamodel.stateDiagram_0.6.0.jar 575.6 KB 2009-10-18 101
ac.soton.umlb_0.6.0.200910181232.jar 14.6 KB 2009-10-18 968
0.5.11 8.1 MB 2009-07-31 2,928 Subscribe Folder view
uml_b_0_5_11_source.zip 5.0 MB 2009-07-31 44
ac.soton.umlb.umlbMetamodel.stateDiagram_0.5.11.jar 573.3 KB 2009-07-31 104
ac.soton.umlb.eventB_0.5.11.jar 26.6 KB 2009-07-31 104
ac.soton.umlb.project_0.5.11.jar 19.5 KB 2009-07-31 98
ac.soton.umlb.u2b_0.5.11.jar 75.0 KB 2009-07-31 101
ac.soton.umlb.ui_0.5.11.jar 41.6 KB 2009-07-31 100
ac.soton.umlb.umlbMetamodel.classDiagram_0.5.11.jar 925.8 KB 2009-07-31 191
ac.soton.umlb.umlbMetamodel_0.5.11.jar 298.7 KB 2009-07-31 101
ac.soton.umlb.umlbMetamodel.contextDiagram_0.5.11.jar 508.2 KB 2009-07-31 99
ac.soton.umlb.umlbMetamodel.edit_0.5.11.jar 137.0 KB 2009-07-31 101
ac.soton.umlb.umlbMetamodel.editor_0.5.11.jar 62.2 KB 2009-07-31 101
ac.soton.umlb.umlbMetamodel.packageDiagram_0.5.11.jar 243.2 KB 2009-07-31 99
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.5.11.jar 166.4 KB 2009-07-31 100
ac.soton.umlb_0.5.11.jar 35.5 KB 2009-07-31 95
ac.soton.umlb_0.5.11.200907311354.jar 14.5 KB 2009-07-31 1,490
0.5.10 5.6 MB 2009-07-30 118 Subscribe Folder view
uml_b_0_5_10_source.zip 5.0 MB 2009-07-30 10
ac.soton.umlb.eventB_0.5.9.jar 26.6 KB 2009-07-30 11
ac.soton.umlb.project_0.5.9.jar 19.4 KB 2009-07-30 14
ac.soton.umlb.u2b_0.5.10.jar 75.0 KB 2009-07-30 15
ac.soton.umlb.ui_0.5.9.jar 41.6 KB 2009-07-30 12
ac.soton.umlb.umlbMetamodel_0.5.9.jar 298.7 KB 2009-07-30 22
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.5.9.jar 166.2 KB 2009-07-30 13
ac.soton.umlb_0.5.10.200907301517.jar 14.5 KB 2009-07-30 21
0.5.8 5.1 MB 2009-03-04 5,551 Subscribe Folder view
UML-B_V0_5_8_Sources.zip 2.1 MB 2009-03-04 38 Release Notes
ac.soton.umlb_0.5.8.200903021038.jar 14.4 KB 2009-03-02 3,256 Release Notes
ac.soton.umlb.ui_0.5.8.jar 27.8 KB 2009-03-02 184 Release Notes
ac.soton.umlb.umlbMetamodel_0.5.4.jar 298.0 KB 2009-03-02 182 Release Notes
ac.soton.umlb.umlbMetamodel.stateDiagram_0.5.4.jar 573.3 KB 2009-03-02 185 Release Notes
ac.soton.umlb.umlbMetamodel.packageDiagram_0.5.7.jar 243.2 KB 2009-03-02 189 Release Notes
ac.soton.umlb.umlbMetamodel.edit_0.5.1.jar 137.0 KB 2009-03-02 188 Release Notes
ac.soton.umlb.umlbMetamodel.editor_0.5.3.jar 62.3 KB 2009-03-02 190 Release Notes
ac.soton.umlb.umlbMetamodel.contextDiagram_0.5.2.jar 508.2 KB 2009-03-02 191 Release Notes
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.5.7.jar 159.6 KB 2009-03-02 184 Release Notes
ac.soton.umlb.umlbMetamodel.classDiagram_0.5.4.jar 925.7 KB 2009-03-02 190 Release Notes
ac.soton.umlb.u2b_0.5.6.jar 75.1 KB 2009-03-02 190 Release Notes
ac.soton.umlb.project_0.5.2.jar 21.8 KB 2009-03-02 186 Release Notes
ac.soton.umlb.eventB_0.5.2.jar 25.5 KB 2009-03-02 198 Release Notes
0.4.4 4.8 MB 2008-06-04 4,977 Subscribe Folder view
UMLB_0.4.4_sources 4.7 MB 2008-06-04 102 Release Notes
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.4.jar 146.1 KB 2008-06-04 309 Release Notes
ac.soton.umlb_0.4.4.200806032333.jar 14.3 KB 2008-06-04 4,566 Release Notes
0.4.3 7.5 MB 2008-05-17 7,414 Subscribe Folder view
ac.soton.umlb.umlbMetamodel_0.4.3.jar 274.1 KB 2008-05-17 281 Release Notes
ac.soton.umlb.umlbMetamodel.stateDiagram_0.4.3.jar 329.6 KB 2008-05-17 275 Release Notes
ac.soton.umlb.doc.user_0.4.3.jar 450.8 KB 2008-05-17 299 Release Notes
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.3.jar 146.2 KB 2008-05-17 57 Release Notes
ac.soton.umlb.umlbMetamodel.classDiagram_0.4.3.jar 784.7 KB 2008-05-17 281 Release Notes
ac.soton.umlb.ui_0.4.3.jar 21.6 KB 2008-05-17 278 Release Notes
ac.soton.umlb.u2b_0.4.3.jar 66.3 KB 2008-05-17 277 Release Notes
ac.soton.umlb.project_0.4.3.jar 21.0 KB 2008-05-17 283 Release Notes
ac.soton.umlb.eventB_0.4.3.jar 22.8 KB 2008-05-17 280 Release Notes
UMLB_0.4.3_sources 4.6 MB 2008-05-17 56 Release Notes
ac.soton.umlb_0.4.3.200805170936.jar 14.3 KB 2008-05-17 4,486 Release Notes
ac.soton.umlb.umlbMetamodel.packageDiagram_0.4.3.jar 244.5 KB 2008-05-17 277 Release Notes
ac.soton.umlb.umlbMetamodel.contextDiagram_0.4.3.jar 508.2 KB 2008-05-17 284 Release Notes
0.4.2 4.9 MB 2008-03-27 4,848 Subscribe Folder view
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.2.jar 144.1 KB 2008-03-27 93 Release Notes
umlb_0_4_2_sources.zip 4.7 MB 2008-03-27 53 Release Notes
ac.soton.umlb_0.4.2.200803262346.jar 14.3 KB 2008-03-27 4,702 Release Notes
0.4.1 6.1 MB 2008-03-26 5,129 Subscribe Folder view
umlb_0_4_1_sources.zip 4.7 MB 2008-03-26 35 Release Notes
ac.soton.umlb_0.4.1.200803240951.jar 14.3 KB 2008-03-26 4,688 Release Notes
ac.soton.umlb.umlbMetamodel.stateDiagram_0.4.1.jar 337.5 KB 2008-03-26 70 Release Notes
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.1.jar 144.0 KB 2008-03-26 37 Release Notes
ac.soton.umlb.umlbMetamodel.classDiagram_0.4.1.jar 790.0 KB 2008-03-26 74 Release Notes
ac.soton.umlb.ui_0.4.1.jar 21.1 KB 2008-03-26 75 Release Notes
ac.soton.umlb.project_0.4.1.jar 26.8 KB 2008-03-26 70 Release Notes
ac.soton.umlb.eventB_0.4.1.jar 22.8 KB 2008-03-26 80 Release Notes
0.4.0 7.4 MB 2008-02-22 6,774 Subscribe Folder view
umlb_0_4_0_sources.zip 4.8 MB 2008-02-22 42 Release Notes
ac.soton.umlb_0.4.0.200802222236.jar 14.3 KB 2008-02-22 4,871 Release Notes
ac.soton.umlb_0.3.6.jar 35.5 KB 2008-02-22 508 Release Notes
ac.soton.umlb.umlbMetamodel_0.3.7.jar 274.0 KB 2008-02-22 100 Release Notes
ac.soton.umlb.umlbMetamodel.stateDiagram_0.4.0.jar 337.5 KB 2008-02-22 56 Release Notes
ac.soton.umlb.umlbMetamodel.packageDiagram_0.3.5.jar 253.2 KB 2008-02-22 101 Release Notes
ac.soton.umlb.umlbMetamodel.edit_0.4.0.jar 132.9 KB 2008-02-22 330 Release Notes
ac.soton.umlb.umlbMetamodel.editor_0.3.5.jar 61.9 KB 2008-02-22 325 Release Notes
ac.soton.umlb.umlbMetamodel.contextDiagram_0.4.0.jar 511.6 KB 2008-02-22 102 Release Notes
ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.0.jar 143.9 KB 2008-02-22 58 Release Notes
ac.soton.umlb.umlbMetamodel.classDiagram_0.3.7.jar 790.0 KB 2008-02-22 59 Release Notes
ac.soton.umlb.u2b_0.3.7.jar 65.8 KB 2008-02-22 103 Release Notes
ac.soton.umlb.project_0.3.4.jar 29.4 KB 2008-02-22 59 Release Notes
ac.soton.umlb.eventB_0.3.7.jar 26.6 KB 2008-02-22 60 Release Notes
Plugin_Rule-based_Prover 491.9 KB 2009-12-01 563 Subscribe Folder view
0.0.1 491.9 KB 2009-12-01 563 Subscribe Folder view
ac.soton.eventb.ruleBase.theory.ui_0.0.1.jar 206.8 KB 2009-12-01 40
ac.soton.eventb.ruleBase.theory.ui.prefs_0.0.1.jar 19.3 KB 2009-12-01 40
ac.soton.eventb.ruleBase.theory.deploy_0.0.1.jar 43.7 KB 2009-12-01 40
ac.soton.eventb.ruleBase.theory.core_0.0.1.jar 145.9 KB 2009-12-01 40
ac.soton.eventb.prover_0.0.1.jar 69.9 KB 2009-12-01 40
ac.soton.eventb.theory_feature_0.0.1.jar 6.2 KB 2009-12-01 363
Plugin_ B2Latex 819.0 KB 2009-11-25 22,593 Subscribe Folder view
0.5.1 137.4 KB 2009-11-25 571 Subscribe Folder view
ac.soton.eventb.latex.feature_0.5.1.jar 14.1 KB 2009-11-25 447
ac.soton.eventb.latex_0.5.1.jar 1.9 KB 2009-11-25 61
ac.soton.eventb.latex.ui_0.5.1.jar 22.4 KB 2009-11-25 61
B2Latex_0.5.1_sources.zip 99.1 KB 2009-11-25 2
0.5.0 139.4 KB 2009-03-05 4,520 Subscribe Folder view
ac.soton.eventb.latex_0.5.0.jar 1.9 KB 2009-03-05 564 Release Notes
ac.soton.eventb.latex.ui_0.5.0.jar 22.2 KB 2009-03-05 568 Release Notes
ac.soton.eventb.latex.feature_0.5.0.jar 14.1 KB 2009-03-05 3,325 Release Notes
B2Latex_0.5.0_sources.zip 101.3 KB 2009-03-04 63 Release Notes
0.4.2 134.8 KB 2009-02-10 3,715 Subscribe Folder view
B2Latex_0.4.2_sources.zip 97.4 KB 2009-02-10 15 Release Notes
ac.soton.eventb.latex_0.4.2.jar 1.9 KB 2009-02-10 139 Release Notes
ac.soton.eventb.latex.ui_0.4.2.jar 21.4 KB 2009-02-10 138 Release Notes
ac.soton.eventb.latex.feature_0.4.2.jar 14.0 KB 2009-02-10 3,423 Release Notes
0.4.1 138.3 KB 2009-02-06 4,108 Subscribe Folder view
b2latex.sty 4.0 KB 2009-02-06 18 Release Notes
B2Latex_0.4.1_sources.zip 95.5 KB 2008-12-12 38 Release Notes
ac.soton.eventb.latex_0.4.1.jar 1.9 KB 2008-12-12 144 Release Notes
ac.soton.eventb.latex.ui_0.4.1.jar 22.8 KB 2008-12-12 154 Release Notes
ac.soton.eventb.latex.feature_0.4.1.jar 14.0 KB 2008-12-12 3,754 Release Notes
0.4.0 136.1 KB 2008-11-14 4,021 Subscribe Folder view
B2Latex_0.4.0_Sources.zip 96.5 KB 2008-11-14 42 Release Notes
ac.soton.eventb.latex_0.4.0.jar 1.9 KB 2008-11-14 82 Release Notes
ac.soton.eventb.latex.ui_0.4.0.jar 23.7 KB 2008-11-14 85 Release Notes
ac.soton.eventb.latex.feature_0.4.0.jar 14.0 KB 2008-11-14 3,812 Release Notes
0.3.0 132.9 KB 2008-03-04 5,658 Subscribe Folder view
B2Latex_0.3.0_sources.zip 94.6 KB 2008-03-04 100 Release Notes
ac.soton.eventb.ui.latex_0.3.0.jar 22.4 KB 2008-03-04 473 Release Notes
ac.soton.eventb.latex_0.3.0.jar 1.9 KB 2008-03-04 484 Release Notes
ac.soton.eventb.latex.feature_0.3.0.jar 14.0 KB 2008-03-04 4,601 Release Notes
Plugin_ Renaming_Refactory 2.3 MB 2009-11-06 5,799 Subscribe Folder view
0.0.4 583.5 KB 2009-11-06 1,004 Subscribe Folder view
ac.ddorf.refactory.0.0.4.zip 284.2 KB 2009-11-06 12
ac.ddorf.refactory.eventb_0.0.4.jar 63.6 KB 2009-11-06 90
ac.ddorf.refactory_feature_0.0.4.jar 11.9 KB 2009-11-06 710
ac.ddorf.refactory_0.0.4.jar 190.7 KB 2009-11-05 96
ac.ddorf.refactory.ui_0.0.4.jar 33.1 KB 2009-11-05 96
0.0.3 586.7 KB 2009-10-30 735 Subscribe Folder view
ac.ddorf.refactory.0.0.3.zip 285.8 KB 2009-10-30 2
ac.ddorf.refactory_0.0.3.jar 190.7 KB 2009-10-30 12
ac.ddorf.refactory.ui_0.0.3.jar 33.0 KB 2009-10-30 11
ac.ddorf.refactory.eventb_0.0.3.jar 65.3 KB 2009-10-30 12
ac.ddorf.refactory_feature_0.0.3.jar 11.9 KB 2009-10-30 698
0.0.2 556.7 KB 2009-07-03 2,186 Subscribe Folder view
ac.ddorf.refactory_feature_0.0.2.jar 11.9 KB 2009-07-03 1,705 Release Notes
ac.ddorf.refactory_0.0.2.zip 265.3 KB 2009-07-03 11 Release Notes
ac.ddorf.refactory_0.0.2.jar 190.7 KB 2009-07-03 160 Release Notes
ac.ddorf.refactory.ui_0.0.2.jar 30.7 KB 2009-07-03 154 Release Notes
ac.ddorf.refactory.eventb_0.0.2.jar 58.0 KB 2009-07-03 156 Release Notes
0.0.1 568.5 KB 2009-07-03 1,874 Subscribe Folder view
ac.ddorf.refactory_0.0.1.jar 190.7 KB 2009-07-03 20 Release Notes
renaming_refactory_plugin.zip 277.1 KB 2009-06-15 15 Release Notes
ac.ddorf.refactory_feature_0.0.1.jar 11.9 KB 2009-06-15 1,759 Release Notes
ac.ddorf.refactory.ui_0.0.1.jar 30.9 KB 2009-06-15 41 Release Notes
ac.ddorf.refactory.eventb_0.0.1.jar 57.9 KB 2009-06-15 39 Release Notes
Doc_ Tutorial 2.0 MB 2009-11-03 5,708 Subscribe Folder view
1.1 91.8 KB 2009-11-03 106 Subscribe Folder view
Galois.zip 5.1 KB 2009-11-03 23
Doors.zip 54.2 KB 2009-11-03 27
Closure.zip 7.8 KB 2009-11-03 18
Celebrity.zip 24.7 KB 2009-11-03 38
2007-10-26 291.2 KB 2007-10-26 3,088 Subscribe Folder view
tutorials-2007-10-26.pdf 246.7 KB 2007-10-26 1,214
Galois-2007-10-26.zip 3.6 KB 2007-10-26 411
Doors-2007-10-26.zip 25.9 KB 2007-10-26 457
Closure-2007-10-26.zip 6.0 KB 2007-10-26 443
Celebrity-2007-10-26.zip 9.0 KB 2007-10-26 563
2007-08-28 287.5 KB 2007-09-05 1,231 Subscribe Folder view
tutorials-2007-08-28.pdf 246.6 KB 2007-09-05 558
Doors-2007-08-28.zip 25.9 KB 2007-09-05 217
Closure-2007-08-28.zip 6.0 KB 2007-09-05 212
Celebrity-2007-08-28.zip 9.0 KB 2007-09-05 244
1.0 1.3 MB 2006-04-20 1,283 Subscribe Folder view
T1-interface-quick-tour.1.0.zip 1.1 MB 2006-04-20 599 Release Notes
T0-starting.1.0.zip 263.1 KB 2006-04-20 684 Release Notes
Plugin_ SharedEventComposition 6.3 MB 2009-10-30 18,694 Subscribe Folder view
0.1.4 757.4 KB 2009-10-30 1,002 Subscribe Folder view
ac.soton.composition_0.1.4.zip 348.1 KB 2009-10-30 6
ac.soton.composition.refactory_0.0.1.jar 23.2 KB 2009-10-30 76
ac.soton.composition.ui_0.1.4.jar 325.3 KB 2009-10-30 81
ac.soton.composition.core_0.1.4.jar 49.3 KB 2009-10-30 84
ac.soton.composition_feature_1.1.4.jar 11.6 KB 2009-10-30 755
0.1.3 743.0 KB 2009-07-03 1,992 Subscribe Folder view
ac.soton.composition_0.1.3.zip 335.2 KB 2009-07-03 22 Release Notes
ac.soton.composition_feature_1.1.3.jar 11.6 KB 2009-07-03 1,700 Release Notes
ac.soton.composition.ui_0.1.3.jar 323.8 KB 2009-07-03 132 Release Notes
ac.soton.composition.refactory_0.0.1.jar 23.2 KB 2009-07-03 125 Release Notes
ac.soton.composition.core_0.1.3.jar 49.3 KB 2009-07-03 13 Release Notes
0.1.2 709.2 KB 2009-06-15 1,934 Subscribe Folder view
ac.soton.composition_feature_1.1.2.jar 11.6 KB 2009-06-15 1,747 Release Notes
ac.soton.composition_0.1.2.zip 325.6 KB 2009-06-15 14 Release Notes
ac.soton.composition.ui_0.1.2.jar 323.8 KB 2009-06-15 30 Release Notes
ac.soton.composition.core_0.1.2.jar 48.2 KB 2009-06-15 143 Release Notes
0.1.1 1.0 MB 2009-03-26 2,677 Subscribe Folder view
ac.soton.composition_feature_1.1.1.jar 11.6 KB 2009-03-26 2,422 Release Notes
ac.soton.composition_1.1.1.zip 653.7 KB 2009-03-26 12 Release Notes
ac.soton.composition.ui_0.1.1.jar 325.0 KB 2009-03-26 120 Release Notes
ac.soton.composition.core_0.1.1.jar 51.3 KB 2009-03-26 123 Release Notes
0.1.0 712.2 KB 2009-02-24 3,303 Subscribe Folder view
ac.soton.composition_1.1.0.zip 327.5 KB 2009-02-24 20 Release Notes
ac.soton.composition_feature_1.1.0.jar 11.6 KB 2009-02-24 3,105 Release Notes
ac.soton.composition.ui_0.1.0.jar 322.7 KB 2009-02-24 89 Release Notes
ac.soton.composition.core_0.1.0.jar 50.3 KB 2009-02-24 89 Release Notes
0.0.5 652.6 KB 2009-02-09 3,646 Subscribe Folder view
ac.soton.composition_feature_1.0.2.jar 11.6 KB 2009-02-09 3,475
ac.soton.composition_feature.zip 299.8 KB 2009-02-09 13
ac.soton.composition.ui_0.0.5.jar 307.3 KB 2009-02-09 80
ac.soton.composition.core_0.0.5.jar 33.9 KB 2009-02-09 78
0.0.4 690.9 KB 2009-01-11 3,939 Subscribe Folder view
ac.soton.composition_feature_1.0.1.jar 11.6 KB 2009-01-11 3,671 Release Notes
ac.soton.composition.ui_0.0.4.jar 326.1 KB 2008-12-12 112 Release Notes
ac.soton.composition_feature_1.0.1.zip 318.2 KB 2008-12-12 30 Release Notes
ac.soton.composition.core_0.0.4.jar 34.9 KB 2008-12-12 126 Release Notes
0.0.3 1.0 MB 2008-12-11 201 Subscribe Folder view
ac.soton.composition_feature_1.0.0.jar 835 Bytes 2008-12-11 111 Release Notes
ac.soton.composition.zip 667.4 KB 2008-12-04 26 Release Notes
ac.soton.composition.ui_0.0.3.jar 324.0 KB 2008-12-04 31 Release Notes
ac.soton.composition.core_0.0.3.jar 34.9 KB 2008-12-04 33 Release Notes
Core_ Rodin Platform 2.9 GB 2009-10-15 14,291 Subscribe Folder view
1.1 156.8 MB 2009-10-15 810 Subscribe Folder view
relnotes.txt 11.1 KB 2009-10-15 141
rodin-1.1-win32.zip windows 49.9 MB 2009-10-15 424 Release Notes
rodin-1.1-sources.zip 7.3 MB 2009-10-15 29 Release Notes
rodin-1.1-macosx.zip mac 49.6 MB 2009-10-15 76 Release Notes
rodin-1.1-linux.zip linux 49.9 MB 2009-10-15 140 Release Notes
1.1RC1 156.6 MB 2009-10-01 175 Subscribe Folder view
relnotes.txt Rodin 1.1RC1 Release Notes 1.3 KB 2009-10-01 48
rodin-1.1RC1-win32.zip 49.9 MB 2009-10-01 70 Release Notes
rodin-1.1RC1-sources.zip 7.3 MB 2009-10-01 15 Release Notes
rodin-1.1RC1-macosx.zip 49.6 MB 2009-10-01 19 Release Notes
rodin-1.1RC1-linux.zip 49.8 MB 2009-10-01 23 Release Notes
1.0 155.6 MB 2009-07-01 608 Subscribe Folder view
rodin-1.0-win32.zip 49.6 MB 2009-07-01 279 Release Notes
rodin-1.0-sources.zip others 7.0 MB 2009-07-01 93 Release Notes
rodin-1.0-macosx.zip 49.4 MB 2009-07-01 77 Release Notes
rodin-1.0-linux.zip 49.6 MB 2009-07-01 159 Release Notes
1.0RC1 155.6 MB 2009-06-04 349 Subscribe Folder view
rodin-1.0RC1-sources.zip 7.0 MB 2009-06-04 35 Release Notes
rodin-1.0RC1-win32.zip 49.6 MB 2009-06-04 179 Release Notes
rodin-1.0RC1-macosx.zip 49.3 MB 2009-06-04 53 Release Notes
rodin-1.0RC1-linux.zip 49.6 MB 2009-06-04 82 Release Notes
0.9.2.1 154.0 MB 2009-02-18 1,223 Subscribe Folder view
rodin-0.9.2.1-win32.zip 49.2 MB 2009-02-18 639 Release Notes
rodin-0.9.2.1-sources.zip 6.8 MB 2009-02-18 126 Release Notes
rodin-0.9.2.1-macosx.zip 48.8 MB 2009-02-18 148 Release Notes
rodin-0.9.2.1-linux.zip 49.2 MB 2009-02-18 310 Release Notes
0.9.2 154.0 MB 2009-02-09 283 Subscribe Folder view
rodin-0.9.2-win32.zip 49.2 MB 2009-02-09 141 Release Notes
rodin-0.9.2-sources.zip 6.8 MB 2009-02-09 26 Release Notes
rodin-0.9.2-macosx.zip 48.8 MB 2009-02-09 58 Release Notes
rodin-0.9.2-linux.zip 49.2 MB 2009-02-09 58 Release Notes
0.9.1 153.2 MB 2009-01-14 394 Subscribe Folder view
rodin-0.9.1-win32.zip 49.0 MB 2009-01-14 191 Release Notes
rodin-0.9.1-macosx.zip 48.6 MB 2009-01-14 69 Release Notes
rodin-0.9.1-linux.zip 49.0 MB 2009-01-14 83 Release Notes
rodin-0.9.1-sources.zip 6.5 MB 2009-01-14 51 Release Notes
0.9.0 140.0 MB 2008-11-02 995 Subscribe Folder view
rodin-0.9.0-win32.zip 44.6 MB 2008-11-02 531 Release Notes
rodin-0.9.0-sources.zip 6.5 MB 2008-11-02 114 Release Notes
rodin-0.9.0-macosx.zip 44.3 MB 2008-11-02 135 Release Notes
rodin-0.9.0-linux.zip 44.6 MB 2008-11-02 215 Release Notes
0.8.2 141.7 MB 2008-03-11 2,492 Subscribe Folder view
rodin-0.8.2-win32.zip 45.2 MB 2008-03-11 1,269 Release Notes
rodin-0.8.2-sources.zip 6.4 MB 2008-03-11 393 Release Notes
rodin-0.8.2-macosx.zip 44.9 MB 2008-03-11 240 Release Notes
rodin-0.8.2-linux.zip 45.1 MB 2008-03-11 590 Release Notes
0.8.1 141.4 MB 2007-10-31 1,063 Subscribe Folder view
rodin-0.8.1-win32.zip 45.1 MB 2007-10-31 593 Release Notes
rodin-0.8.1-macosx.zip 44.8 MB 2007-10-31 112 Release Notes
rodin-0.8.1-linux.zip 45.0 MB 2007-10-31 232 Release Notes
rodin-0.8.1-sources.zip 6.4 MB 2007-10-31 126 Release Notes
0.8.0 141.1 MB 2007-09-05 1,266 Subscribe Folder view
rodin-0.8.0-win32.zip 45.1 MB 2007-09-05 652 Release Notes
rodin-0.8.0-sources.zip 6.3 MB 2007-09-05 177 Release Notes
rodin-0.8.0-macosx.zip 44.8 MB 2007-09-05 128 Release Notes
rodin-0.8.0-linux.zip 44.9 MB 2007-09-05 309 Release Notes
0.7.6 142.8 MB 2007-08-24 318 Subscribe Folder view
rodin-0.7.6-win32.zip 45.7 MB 2007-08-24 119 Release Notes
rodin-0.7.6-sources.zip 6.1 MB 2007-08-24 65 Release Notes
rodin-0.7.6-macosx.zip 45.6 MB 2007-08-24 65 Release Notes
rodin-0.7.6-linux.zip 45.5 MB 2007-08-24 69 Release Notes
0.7.5 125.4 MB 2007-07-05 411 Subscribe Folder view
rodin-0.7.5-win32.zip 40.0 MB 2007-07-05 194 Release Notes
rodin-0.7.5-sources.zip 5.9 MB 2007-07-05 65 Release Notes
rodin-0.7.5-macosx.zip 39.4 MB 2007-07-05 59 Release Notes
rodin-0.7.5-linux.zip 40.1 MB 2007-07-05 93 Release Notes
0.7.4 124.2 MB 2007-05-07 454 Subscribe Folder view
rodin-0.7.4-win32.zip 39.7 MB 2007-05-07 201 Release Notes
rodin-0.7.4-sources.zip 5.8 MB 2007-05-07 82 Release Notes
rodin-0.7.4-macosx.zip 39.0 MB 2007-05-07 71 Release Notes
rodin-0.7.4-linux.zip 39.7 MB 2007-05-07 100 Release Notes
0.7.3 122.6 MB 2007-03-01 646 Subscribe Folder view
rodin-0.7.3-macosx.zip 38.8 MB 2007-03-01 74 Release Notes
rodin-0.7.3-win32.zip 39.0 MB 2007-03-01 359 Release Notes
rodin-0.7.3-sources.zip 5.7 MB 2007-03-01 111 Release Notes
rodin-0.7.3-linux.zip 39.0 MB 2007-03-01 102 Release Notes
0.7.2 122.4 MB 2007-02-16 374 Subscribe Folder view
rodin-0.7.2-win32.zip 38.9 MB 2007-02-16 141 Release Notes
rodin-0.7.2-sources.zip 5.7 MB 2007-02-16 92 Release Notes
rodin-0.7.2-macosx.zip 38.8 MB 2007-02-16 58 Release Notes
rodin-0.7.2-linux.zip 39.0 MB 2007-02-16 83 Release Notes
0.7.1 121.7 MB 2006-12-21 554 Subscribe Folder view
rodin-0.7.1-win32.zip 38.8 MB 2006-12-21 252 Release Notes
rodin-0.7.1-sources.zip 5.5 MB 2006-12-21 109 Release Notes
rodin-0.7.1-macosx.zip 38.6 MB 2006-12-21 86 Release Notes
rodin-0.7.1-linux.zip 38.8 MB 2006-12-21 107 Release Notes
0.7.0 121.6 MB 2006-12-08 324 Subscribe Folder view
rodin-0.7.0-win32.zip 38.7 MB 2006-12-08 114 Release Notes
rodin-0.7.0-sources.zip 5.5 MB 2006-12-08 78 Release Notes
rodin-0.7.0-macosx.zip 38.6 MB 2006-12-08 62 Release Notes
rodin-0.7.0-linux.zip 38.8 MB 2006-12-08 70 Release Notes
0.6.1 100.8 MB 2006-11-04 346 Subscribe Folder view
rodin-0.6.1-win32.zip 31.9 MB 2006-11-04 139 Release Notes
rodin-0.6.1-sources.zip 5.5 MB 2006-11-04 64 Release Notes
rodin-0.6.1-macosx.zip 31.7 MB 2006-11-04 53 Release Notes
rodin-0.6.1-linux.zip 31.8 MB 2006-11-04 90 Release Notes
0.6.0 100.7 MB 2006-10-19 244 Subscribe Folder view
rodin-0.6.0-win32.zip 31.8 MB 2006-10-19 82 Release Notes
rodin-0.6.0-sources.zip 5.4 MB 2006-10-19 59 Release Notes
rodin-0.6.0-macosx.zip 31.7 MB 2006-10-19 47 Release Notes
rodin-0.6.0-linux.zip 31.7 MB 2006-10-19 56 Release Notes
0.5.4 68.6 MB 2006-04-06 808 Subscribe Folder view
rodin-0.5.4-win32.2.zip 31.7 MB 2006-04-06 382 Release Notes
rodin-0.5.4-sources.zip 5.3 MB 2006-04-06 231 Release Notes
rodin-0.5.4-linux.zip 31.6 MB 2006-04-06 195 Release Notes
0.5.0 63.9 MB 2006-03-01 154 Subscribe Folder view
rodin-0.5.0-win32.zip 31.6 MB 2006-03-01 86 Release Notes
rodin-0.5.0-linux.zip 32.4 MB 2006-03-01 68 Release Notes
Plugin_ Event-B EMF Framework 595.3 KB 2009-10-15 2,064 Subscribe Folder view
1.1.2 11.9 KB 2009-10-15 1,120 Subscribe Folder view
org.eventb.emf.feature_1.1.2.jar 11.9 KB 2009-10-15 1,120
1.1.1 583.5 KB 2009-10-14 944 Subscribe Folder view
org.eventb.emf.persistence_1.1.1.jar 49.8 KB 2009-10-14 312
org.eventb.emf.formulas_1.0.3.jar 334.0 KB 2009-10-14 318
org.eventb.emf.core_1.0.5.jar 199.6 KB 2009-10-14 314
Core_ 156.6 MB 2009-10-01 169 Subscribe Folder view
rodin-1.1RC1-win32.zip 49.9 MB 2009-10-01 84
rodin-1.1RC1-sources.zip 7.3 MB 2009-10-01 18
rodin-1.1RC1-macosx.zip 49.6 MB 2009-10-01 27
rodin-1.1RC1-linux.zip 49.8 MB 2009-10-01 40
Plugin_ Feature Composition 5.0 MB 2009-07-06 6,055 Subscribe Folder view
0.0.3 1.7 MB 2009-07-06 1,907 Subscribe Folder view
FeatureCompositionPlugin_Src0.0.3.zip 1.4 MB 2009-07-06 37 Release Notes
ac.soton.featurecomposition_feature_0.0.3.jar 12.0 KB 2009-07-06 1,673 Release Notes
ac.soton.emfb_0.0.3.jar 266.3 KB 2009-07-06 197 Release Notes
0.0.2 3.3 MB 2009-03-04 4,148 Subscribe Folder view
FeatureCompositionPlugin_Src.zip 1.4 MB 2009-03-04 22 Release Notes
ac.soton.featurecomposition_feature_0.0.2.jar 12.1 KB 2009-03-04 2,990 Release Notes
ac.soton.emfb.model_0.0.2.jar 371.0 KB 2009-03-04 328 Release Notes
ac.soton.emfb.model.edit_0.0.2.jar 593.5 KB 2009-03-04 322 Release Notes
ac.soton.emfb.model.editor_0.0.2.jar 642.2 KB 2009-03-04 322 Release Notes
ac.soton.emfb_0.0.2.jar 259.4 KB 2009-03-04 164 Release Notes
Doc_ Event B LaTeX style 1.2 MB 2009-03-26 2,075 Subscribe Folder view
1.8 201.2 KB 2009-03-26 85 Subscribe Folder view
bsymb-1.8.zip 201.2 KB 2009-03-26 85 Release Notes
1.7 399.2 KB 2007-03-27 1,546 Subscribe Folder view
bsymb-1.7.zip 200.0 KB 2007-03-27 704 Release Notes
bsymb-1.7.tgz 199.2 KB 2006-02-06 842 Release Notes
1.6 199.2 KB 2005-05-11 199 Subscribe Folder view
bsymb-1.6.tgz 199.2 KB 2005-05-11 199 Release Notes
1.5 198.2 KB 2005-04-27 134 Subscribe Folder view
bsymb-1.5.tgz 198.2 KB 2005-04-27 134 Release Notes
1.4 197.1 KB 2004-12-13 111 Subscribe Folder view
bsymb-1.4.tgz 197.1 KB 2004-12-13 111 Release Notes
Core_ Event-B Keyboard 869.4 KB 2009-03-25 1,340 Subscribe Folder view
2.8.0 310.8 KB 2009-03-25 54 Subscribe Folder view
org.eventb.eventBKeyboard_2.8.0.jar 310.8 KB 2009-03-25 54 Release Notes
2.5.2 276.5 KB 2006-02-06 1,126 Subscribe Folder view
org.eventb.eventBKeyboard_2.5.2.jar 276.5 KB 2006-02-06 1,126 Release Notes
2.4.1 282.1 KB 2005-10-06 160 Subscribe Folder view
org.eventb.eventBKeyboard_2.4.1.zip 282.1 KB 2005-10-06 160 Release Notes
Plugin_ Mobility 829.8 KB 2007-10-31 614 Subscribe Folder view
Mobility plug-in 0.1 829.8 KB 2007-10-31 614 Subscribe Folder view
Mobility_Plug_in_manual.pdf 311.9 KB 2007-10-31 344
mobility.jar 517.9 KB 2007-10-31 270
Doc_ User Manual 4.5 MB 2007-10-26 5,098 Subscribe Folder view
2.3 1.4 MB 2007-10-26 3,163 Subscribe Folder view
mathLanguage-2007-10-26.pdf 298.2 KB 2007-10-26 799
notation-1.5.pdf 103.9 KB 2007-10-26 893
manual-2.3.pdf 960.3 KB 2007-10-26 1,471
2.2 1.3 MB 2007-09-05 1,419 Subscribe Folder view
notation-1.4.pdf 103.7 KB 2007-09-05 434
mathLanguage-2006-05-24.pdf 297.7 KB 2007-09-05 338
manual-2.2.pdf 947.3 KB 2007-09-05 647
2.1 959.8 KB 2007-08-24 255 Subscribe Folder view
manual.pdf 959.8 KB 2007-08-24 255
1.4 812.8 KB 2007-07-19 261 Subscribe Folder view
manual-1.4.pdf 812.8 KB 2007-07-19 261
Font_ Brave Sans Mono 100.5 KB 2006-03-27 2,537 Subscribe Folder view
0.12 50.1 KB 2006-03-27 2,400 Subscribe Folder view
BraveSansMono-Roman-0.12.ttf 50.1 KB 2006-03-27 2,400 Release Notes
0.11 50.4 KB 2006-03-01 137 Subscribe Folder view
BraveSansMono-Roman-0.11.ttf 50.4 KB 2006-03-01 137 Release Notes

About SourceForge

Find Software

Develop Software

Community

Help

Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use