ダウンロードリスト

プロジェクト概要

ディペン ダブルな複雑なソフトウェア システム サービスの費用対効果の厳密な開発のためのオープン ツール プラットフォームです。このプラットフォーム イベント B の正式な方法に基づいています洗練と数学的な証明のための天然サポートを提供しています。

システム要件

オペレーティングシステム: OS非依存

ダウンロードパッケージ一覧

最新ファイル(5件)
名前 サイズ 日付 ダウンロード数
ac.soton.eventb.documentor.branding_1.0.0.release.jar 3.2 KB 2019-02-21 18:40 0
ac.soton.eventb.documentor.source_1.0.0.release.jar 14.4 KB 2019-02-21 18:40 0
ac.soton.eventb.documentor.branding.source_1.0.0.release.jar 2.9 KB 2019-02-21 18:40 0
ac.soton.eventb.documentor_1.0.0.release.jar 21.6 KB 2019-02-21 18:40 0
ac.soton.eventb.documentor.sdk_1.0.0.release.jar 3.3 KB 2019-02-21 18:40 0
その他全ファイル
Plugin_iUML-B
iUMLB Documentor
1.0.0
ac.soton.eventb.documentor.branding_1.0.0.release.jar3.2 KB2019-02-21 18:400
ac.soton.eventb.documentor.branding.source_1.0.0.release.jar2.9 KB2019-02-21 18:400
ac.soton.eventb.documentor.source_1.0.0.release.jar14.4 KB2019-02-21 18:400
ac.soton.eventb.documentor_1.0.0.release.jar21.6 KB2019-02-21 18:400
ac.soton.eventb.documentor.feature_1.0.0.release.jar3.6 KB2019-02-21 18:400
ac.soton.eventb.documentor.sdk_1.0.0.release.jar3.3 KB2019-02-21 18:400
ac.soton.eventb.documentor.source.feature_1.0.0.release.jar0.4 KB2019-02-21 18:400
readme.txt0.4 KB2019-02-21 18:390
iUMLB Class-Diagrams
readme.txt3.9 KB2019-01-23 01:046
2.0.1
ac.soton.eventb.classdiagrams.source_2.0.1.release.jar50.4 KB2019-01-23 01:020
ac.soton.eventb.classdiagrams.source.feature_2.0.1.release.jar0.5 KB2019-01-23 01:020
ac.soton.eventb.classdiagrams_2.0.1.release.jar78.6 KB2019-01-23 01:020
ac.soton.eventb.classdiagrams.feature_2.0.1.release.jar5.1 KB2019-01-23 01:020
ac.soton.eventb.classdiagrams.sdk_2.0.1.release.jar3.4 KB2019-01-23 01:020
2.0.0
ac.soton.eventb.classdiagrams.source_2.0.0.release.jar50.4 KB2018-11-05 03:100
ac.soton.eventb.classdiagrams.persistance.source_1.1.0.release.jar1.8 KB2018-11-05 03:101
ac.soton.eventb.classdiagrams.persistance_1.1.0.release.jar3.2 KB2018-11-05 03:100
ac.soton.eventb.classdiagrams.navigator.source_1.2.0.release.jar9.1 KB2018-11-05 03:100
ac.soton.eventb.classdiagrams.navigator_1.2.0.release.jar15.4 KB2018-11-05 03:100
ac.soton.eventb.classdiagrams.generator.source_1.2.0.release.jar21.5 KB2018-11-05 03:100
ac.soton.eventb.classdiagrams.generator_1.2.0.release.jar37.3 KB2018-11-05 03:100
ac.soton.eventb.classdiagrams.edit.source_2.0.0.release.jar24.8 KB2018-11-05 03:090
ac.soton.eventb.classdiagrams.edit_2.0.0.release.jar52.1 KB2018-11-05 03:090
ac.soton.eventb.classdiagrams.diagram.source_2.0.0.release.jar228.7 KB2018-11-05 03:090
ac.soton.eventb.classdiagrams.diagram_2.0.0.release.jar459.6 KB2018-11-05 03:090
ac.soton.eventb.classdiagrams.branding.source_1.0.0.release.jar2.9 KB2018-11-05 03:090
ac.soton.eventb.classdiagrams.branding_1.0.0.release.jar3.2 KB2018-11-05 03:080
ac.soton.eventb.classdiagrams_2.0.0.release.jar78.5 KB2018-11-05 03:070
ac.soton.eventb.classdiagrams.source.feature_2.0.0.release.jar0.5 KB2018-11-05 03:070
ac.soton.eventb.classdiagrams.sdk_2.0.0.release.jar3.4 KB2018-11-05 03:070
ac.soton.eventb.classdiagrams.feature_2.0.0.release.jar5.1 KB2018-11-05 03:070
iUMLB State-Machines Animation
readme.txt1.1 KB2019-01-08 23:379
2.5.0
ac.soton.eventb.statemachines.animation.source.feature_2.5.0.release.jar0.5 KB2019-01-08 23:230
ac.soton.eventb.statemachines.animation.source_2.5.0.release.jar14.9 KB2019-01-08 23:230
ac.soton.eventb.statemachines.animation_2.5.0.release.jar26.9 KB2019-01-08 23:230
ac.soton.eventb.statemachines.animation.sdk_2.5.0.release.jar3.4 KB2019-01-08 23:230
ac.soton.eventb.statemachines.animation.feature_2.5.0.release.jar4.0 KB2019-01-08 23:230
2.4.0
ac.soton.eventb.statemachines.animation.source_2.4.0.release.jar14.8 KB2018-11-05 03:181
ac.soton.eventb.statemachines.animation.branding.source_1.0.0.release.jar2.9 KB2018-11-05 03:171
ac.soton.eventb.statemachines.animation.branding_1.0.0.release.jar3.3 KB2018-11-05 03:172
ac.soton.eventb.statemachines.animation_2.4.0.release.jar26.9 KB2018-11-05 03:171
ac.soton.eventb.statemachines.animation.source.feature_2.4.0.release.jar0.5 KB2018-11-05 03:171
ac.soton.eventb.statemachines.animation.sdk_2.4.0.release.jar3.4 KB2018-11-05 03:171
ac.soton.eventb.statemachines.animation.feature_2.4.0.release.jar4.0 KB2018-11-05 03:172
iUMLB State-Machines
4.0.0
ac.soton.eventb.statemachines_4.0.0.release.jar86.4 KB2018-11-05 03:150
ac.soton.eventb.statemachines.source_4.0.0.release.jar536.3 KB2018-11-05 03:140
ac.soton.eventb.statemachines.persistence.tests.source_0.1.0.release.jar8.1 KB2018-11-05 03:141
ac.soton.eventb.statemachines.persistence.tests_0.1.0.release.jar14.6 KB2018-11-05 03:140
ac.soton.eventb.statemachines.persistence.source_2.1.0.release.jar2.0 KB2018-11-05 03:141
ac.soton.eventb.statemachines.persistence_2.1.0.release.jar3.3 KB2018-11-05 03:140
ac.soton.eventb.statemachines.navigator.source_2.3.0.release.jar13.3 KB2018-11-05 03:140
ac.soton.eventb.statemachines.navigator_2.3.0.release.jar20.6 KB2018-11-05 03:140
ac.soton.eventb.statemachines.generator.tests.source_0.1.0.release.jar48.8 KB2018-11-05 03:141
ac.soton.eventb.statemachines.generator.tests_0.1.0.release.jar54.8 KB2018-11-05 03:140
ac.soton.eventb.statemachines.generator.source_1.2.0.release.jar49.3 KB2018-11-05 03:140
ac.soton.eventb.statemachines.generator_1.2.0.release.jar86.3 KB2018-11-05 03:140
ac.soton.eventb.statemachines.edit.source_2.2.0.release.jar22.7 KB2018-11-05 03:140
ac.soton.eventb.statemachines.edit_2.2.0.release.jar68.8 KB2018-11-05 03:140
ac.soton.eventb.statemachines.diagram.source_3.5.0.release.jar305.4 KB2018-11-05 03:140
ac.soton.eventb.statemachines.diagram_3.5.0.release.jar563.7 KB2018-11-05 03:140
ac.soton.eventb.statemachines.branding.source_1.0.0.release.jar2.9 KB2018-11-05 03:130
ac.soton.eventb.statemachines.branding_1.0.0.release.jar3.2 KB2018-11-05 03:130
ac.soton.eventb.statemachines.source.feature_4.0.0.release.jar0.5 KB2018-11-05 03:120
ac.soton.eventb.statemachines.sdk_4.0.0.release.jar3.6 KB2018-11-05 03:120
ac.soton.eventb.statemachines.feature_4.0.0.release.jar6.5 KB2018-11-05 03:120
readme.txt9.1 KB2018-11-05 03:128
Plugin_EMF Inclusion
README.md1.5 KB2019-02-17 01:020
1.0.0
ac.soton.eventb.emf.inclusion.tests.source_0.0.1.release.jar6.4 KB2018-11-10 01:420
ac.soton.eventb.emf.inclusion.generator.source_0.2.1.release.jar8.2 KB2018-11-10 01:420
ac.soton.eventb.emf.inclusion.generator_0.2.1.release.jar13.7 KB2018-11-10 01:420
ac.soton.eventb.emf.inclusion.source_1.0.0.release.jar16.6 KB2018-11-10 01:420
ac.soton.eventb.emf.inclusion.tests_0.0.1.release.jar7.6 KB2018-11-10 01:421
ac.soton.eventb.emf.inclusion.edit.source_1.0.0.release.jar7.8 KB2018-11-10 01:420
ac.soton.eventb.emf.inclusion.edit_1.0.0.release.jar17.0 KB2018-11-10 01:420
ac.soton.eventb.emf.inclusion_1.0.0.release.jar36.8 KB2018-11-10 01:421
ac.soton.eventb.emf.inclusion.tests.source.feature_0.0.1.release.jar0.4 KB2018-11-10 01:420
ac.soton.eventb.emf.inclusion.feature_1.0.0.release.jar3.9 KB2018-11-10 01:420
ac.soton.eventb.emf.inclusion.sdk_1.0.0.release.jar3.4 KB2018-11-10 01:420
ac.soton.eventb.emf.inclusion.source.feature_1.0.0.release.jar0.4 KB2018-11-10 01:420
ac.soton.eventb.emf.inclusion.tests.feature_0.0.1.release.jar3.9 KB2018-11-10 01:421
Plugin_CODA
CODA Oracle
readme.txt0.8 KB2019-02-13 23:530
1.2.1
ac.soton.eventb.emf.oracle.source.feature_1.2.1.release.jar2.2 KB2019-02-13 23:520
ac.soton.eventb.emf.oracle.feature_1.2.1.release.jar5.1 KB2019-02-13 23:520
ac.soton.eventb.emf.oracle.sdk_1.2.1.release.jar4.9 KB2019-02-13 23:520
1.2.0
ac.soton.eventb.emf.oracle.source_1.2.0.release.jar29.0 KB2018-12-10 16:370
ac.soton.eventb.emf.oracle.editor.source_1.1.0.release.jar21.0 KB2018-12-10 16:370
ac.soton.eventb.emf.oracle.editor_1.1.0.release.jar64.4 KB2018-12-10 16:370
ac.soton.eventb.emf.oracle.edit.source_1.2.0.release.jar16.4 KB2018-12-10 16:370
ac.soton.eventb.emf.oracle.branding.source_1.0.1.release.jar3.1 KB2018-12-10 16:370
ac.soton.eventb.emf.oracle.edit_1.2.0.release.jar25.5 KB2018-12-10 16:370
ac.soton.eventb.emf.oracle_1.2.0.release.jar36.9 KB2018-12-10 16:370
ac.soton.eventb.emf.oracle.branding_1.0.1.release.jar3.9 KB2018-12-10 16:370
ac.soton.eventb.emf.oracle.source.feature_1.2.0.release.jar2.2 KB2018-12-10 16:360
ac.soton.eventb.emf.oracle.sdk_1.2.0.release.jar3.3 KB2018-12-10 16:360
ac.soton.eventb.emf.oracle.feature_1.2.0.release.jar5.2 KB2018-12-10 16:360
CODA Simulator
readme.txt1.4 KB2019-02-13 23:500
3.0.1
ac.soton.coda.simulator.sdk_3.0.1.release.jar4.8 KB2019-02-13 23:490
ac.soton.coda.simulator.source.feature_3.0.1.release.jar2.2 KB2019-02-13 23:490
ac.soton.coda.simulator.feature_3.0.1.release.jar5.5 KB2019-02-13 23:490
3.0.0
ac.soton.coda.simulator.source.feature_3.0.0.release.jar2.2 KB2019-01-08 23:450
ac.soton.coda.simulator.source_3.0.0.release.jar30.0 KB2019-01-08 23:450
ac.soton.coda.simulator_3.0.0.release.jar134.3 KB2019-01-08 23:450
ac.soton.coda.simulator.feature_3.0.0.release.jar5.6 KB2019-01-08 23:450
ac.soton.coda.simulator.sdk_3.0.0.release.jar4.9 KB2019-01-08 23:450
2.2.0
ac.soton.coda.simulator.ui_2.1.0.release.jar131.7 KB2018-12-10 16:160
ac.soton.coda.simulator.ui.source_2.1.0.release.jar28.0 KB2018-12-10 16:160
ac.soton.coda.simulator.branding.source_1.0.1.release.jar3.1 KB2018-12-10 16:160
ac.soton.coda.simulator.branding_1.0.1.release.jar3.8 KB2018-12-10 16:160
ac.soton.coda.simulator.sdk_2.2.0.release.jar4.9 KB2018-12-10 16:161
ac.soton.coda.simulator.source.feature_2.2.0.release.jar2.2 KB2018-12-10 16:160
ac.soton.coda.simulator.feature_2.2.0.release.jar5.4 KB2018-12-10 16:160
CODA UI
readme.txt0.8 KB2019-02-13 23:480
0.1.1
ac.soton.coda.ui.sdk_0.1.1.release.jar4.8 KB2019-02-13 22:570
ac.soton.coda.ui.source.feature_0.1.1.release.jar2.2 KB2019-02-13 22:570
ac.soton.coda.ui.feature_0.1.1.release.jar5.1 KB2019-02-13 22:570
0.1.0
ac.soton.coda.ui.branding.source_0.0.2.release.jar3.1 KB2019-01-08 23:570
ac.soton.coda.ui.source_0.1.0.release.jar1.9 KB2019-01-08 23:570
ac.soton.coda.ui.branding_0.0.2.release.jar3.8 KB2019-01-08 23:570
ac.soton.coda.ui.sdk_0.1.0.release.jar4.9 KB2019-01-08 23:570
ac.soton.coda.ui.source.feature_0.1.0.release.jar2.2 KB2019-01-08 23:570
ac.soton.coda.ui_0.1.0.release.jar3.3 KB2019-01-08 23:570
ac.soton.coda.ui.feature_0.1.0.release.jar5.2 KB2019-01-08 23:570
CODA Component Diagrams
6.0.1
ac.soton.eventb.emf.components.generator.source_5.0.1.release.jar42.9 KB2019-02-12 08:240
ac.soton.eventb.emf.components.generator_5.0.1.release.jar67.6 KB2019-02-12 08:240
ac.soton.eventb.emf.components.sdk_6.0.1.release.jar3.4 KB2019-02-12 08:240
ac.soton.eventb.emf.components.feature_6.0.1.release.jar7.6 KB2019-02-12 08:240
ac.soton.eventb.emf.components.source.feature_6.0.1.release.jar2.3 KB2019-02-12 08:240
readme.txt7.7 KB2019-02-12 08:220
6.0.0
ac.soton.eventb.emf.components_6.0.0.release.jar168.4 KB2018-12-10 15:340
ac.soton.eventb.emf.components.source_6.0.0.release.jar118.6 KB2018-12-10 15:330
ac.soton.eventb.emf.components.persistence.source_2.1.0.release.jar2.4 KB2018-12-10 15:330
ac.soton.eventb.emf.components.navigator.source_3.3.0.release.jar9.7 KB2018-12-10 15:330
ac.soton.eventb.emf.components.navigator_3.3.0.release.jar14.7 KB2018-12-10 15:330
ac.soton.eventb.emf.components.persistence_2.1.0.release.jar3.5 KB2018-12-10 15:330
ac.soton.eventb.emf.components.generator.source_5.0.0.release.jar42.9 KB2018-12-10 15:330
ac.soton.eventb.emf.components.generator_5.0.0.release.jar67.6 KB2018-12-10 15:330
ac.soton.eventb.emf.components.edit.source_6.0.0.release.jar60.0 KB2018-12-10 15:330
ac.soton.eventb.emf.components.edit_6.0.0.release.jar132.8 KB2018-12-10 15:330
ac.soton.eventb.emf.components.doc_0.0.1.release.jar4.3 MB2018-12-10 15:320
ac.soton.eventb.emf.components.doc.source_0.0.1.release.jar0.6 KB2018-12-10 15:320
ac.soton.eventb.emf.components.diagram.source_6.0.0.release.jar436.8 KB2018-12-10 15:320
ac.soton.eventb.emf.components.diagram_6.0.0.release.jar894.8 KB2018-12-10 15:320
ac.soton.eventb.emf.components.branding.source_1.1.0.release.jar3.4 KB2018-12-10 15:320
ac.soton.eventb.emf.components.branding_1.1.0.release.jar3.6 KB2018-12-10 15:320
ac.soton.eventb.emf.components.sdk_6.0.0.release.jar3.4 KB2018-12-10 15:320
ac.soton.eventb.emf.components.source.feature_6.0.0.release.jar2.2 KB2018-12-10 15:320
ac.soton.eventb.emf.components.feature_6.0.0.release.jar7.6 KB2018-12-10 15:320
CODA VHDL
0.0.5
ac.soton.coda.vhdl.source_0.1.0.release.jar112.3 KB2019-02-12 02:230
ac.soton.coda.vhdl.tests.source_0.0.2.release.jar44.7 KB2019-02-12 02:230
ac.soton.coda.vhdl.tests_0.0.2.release.jar38.2 KB2019-02-12 02:230
ac.soton.coda.vhdl.generator.tests.source_0.0.2.release.jar7.1 KB2019-02-12 02:230
ac.soton.coda.vhdl.generator.tests_0.0.2.release.jar8.2 KB2019-02-12 02:230
ac.soton.coda.vhdl.generator.source_0.0.6.release.jar62.7 KB2019-02-12 02:230
ac.soton.coda.vhdl.generator_0.0.6.release.jar95.6 KB2019-02-12 02:230
ac.soton.coda.vhdl.edit.source_1.0.0.release.jar58.8 KB2019-02-12 02:230
ac.soton.coda.vhdl.edit_1.0.0.release.jar91.3 KB2019-02-12 02:230
ac.soton.coda.vhdl.doc_0.0.2.release.jar333.1 KB2019-02-12 02:230
ac.soton.coda.vhdl.branding.source_0.0.2.release.jar3.3 KB2019-02-12 02:230
ac.soton.coda.vhdl.doc.source_0.0.2.release.jar0.6 KB2019-02-12 02:230
ac.soton.coda.vhdl_0.1.0.release.jar112.4 KB2019-02-12 02:230
ac.soton.coda.vhdl.branding_0.0.2.release.jar4.0 KB2019-02-12 02:230
ac.soton.coda.vhdl.tests.source.feature_0.0.5.release.jar2.2 KB2019-02-12 02:220
ac.soton.coda.vhdl.feature_0.0.5.release.jar5.4 KB2019-02-12 02:220
ac.soton.coda.vhdl.sdk_0.0.5.release.jar4.8 KB2019-02-12 02:220
ac.soton.coda.vhdl.source.feature_0.0.5.release.jar2.2 KB2019-02-12 02:220
ac.soton.coda.vhdl.tests.feature_0.0.5.release.jar4.9 KB2019-02-12 02:220
readme.txt3.4 KB2018-12-10 15:530
Plugin_Event-B EMF Support For Decomposition
readme.txt1.3 KB2018-12-10 17:020
0.1.0
ac.soton.eventb.emf.decomposition.source_0.1.0.release.jar17.8 KB2018-12-10 17:010
ac.soton.eventb.emf.decomposition.navigator.source_0.1.0.release.jar4.7 KB2018-12-10 17:010
ac.soton.eventb.emf.decomposition.navigator_0.1.0.release.jar8.3 KB2018-12-10 17:010
ac.soton.eventb.emf.decomposition.edit_0.1.0.release.jar58.8 KB2018-12-10 17:010
ac.soton.eventb.emf.decomposition.generator.source_0.1.0.release.jar15.7 KB2018-12-10 17:010
ac.soton.eventb.emf.decomposition.generator_0.1.0.release.jar26.3 KB2018-12-10 17:010
ac.soton.eventb.emf.decomposition.edit.source_0.1.0.release.jar29.8 KB2018-12-10 17:010
ac.soton.eventb.emf.decomposition_0.1.0.release.jar25.6 KB2018-12-10 17:010
ac.soton.eventb.emf.decomposition.sdk_0.1.0.release.jar3.3 KB2018-12-10 17:010
ac.soton.eventb.emf.decomposition.source.feature_0.1.0.release.jar0.5 KB2018-12-10 17:010
ac.soton.eventb.emf.decomposition.feature_0.1.0.release.jar4.0 KB2018-12-10 17:010
Plugin_CamilleX
1.0.0
CamilleXUserManual_v1.0.0.pdf10.0 MB2018-11-13 23:210
ac.soton.xeventb.sdk_1.0.0.release.jar4.0 KB2018-11-13 17:370
ac.soton.xeventb.source.feature_1.0.0.release.jar0.5 KB2018-11-13 17:371
ac.soton.xeventb.tests.feature_1.0.0.release.jar4.0 KB2018-11-13 17:371
ac.soton.xeventb.tests.source.feature_1.0.0.release.jar0.4 KB2018-11-13 17:371
ac.soton.xeventb.feature_1.0.0.release.jar5.4 KB2018-11-13 17:370
ac.soton.xeventb.doc.source_1.0.0.release.jar17.3 MB2018-11-13 17:360
ac.soton.xeventb.xmachine.ui.tests.source_0.1.0.release.jar1.9 KB2018-11-13 17:350
ac.soton.xeventb.xmachine.ui.tests_0.1.0.release.jar4.8 KB2018-11-13 17:350
ac.soton.xeventb.xmachine.ui.source_1.0.0.release.jar15.5 KB2018-11-13 17:350
ac.soton.xeventb.xmachine.ui_1.0.0.release.jar164.3 KB2018-11-13 17:350
ac.soton.xeventb.xmachine.tests.source_1.0.0.release.jar2.6 KB2018-11-13 17:351
ac.soton.xeventb.xmachine.tests_1.0.0.release.jar15.0 KB2018-11-13 17:350
ac.soton.xeventb.xmachine.source_1.0.0.release.jar62.3 KB2018-11-13 17:350
ac.soton.xeventb.xmachine.ide.source_0.1.0.release.jar51.2 KB2018-11-13 17:350
ac.soton.xeventb.xmachine.ide_0.1.0.release.jar182.1 KB2018-11-13 17:350
ac.soton.xeventb.xmachine_1.0.0.release.jar358.1 KB2018-11-13 17:350
ac.soton.xeventb.xcontext.ui.tests.source_1.0.0.release.jar1.9 KB2018-11-13 17:350
ac.soton.xeventb.xcontext.ui.tests_1.0.0.release.jar5.3 KB2018-11-13 17:350
ac.soton.xeventb.xcontext.ui.source_1.0.0.release.jar15.0 KB2018-11-13 17:350
ac.soton.xeventb.xcontext.ui_1.0.0.release.jar180.8 KB2018-11-13 17:350
ac.soton.xeventb.xcontext.tests.source_1.0.0.release.jar3.6 KB2018-11-13 17:351
ac.soton.xeventb.xcontext.source_1.0.0.release.jar44.7 KB2018-11-13 17:351
ac.soton.xeventb.xcontext.tests_1.0.0.release.jar48.8 KB2018-11-13 17:350
ac.soton.xeventb.xcontext.ide.source_1.0.0.release.jar33.6 KB2018-11-13 17:351
ac.soton.xeventb.xcontext.ide_1.0.0.release.jar118.5 KB2018-11-13 17:350
ac.soton.xeventb.xcontext_1.0.0.release.jar237.9 KB2018-11-13 17:350
ac.soton.xeventb.ui.source_0.1.0.release.jar13.5 KB2018-11-13 17:350
ac.soton.xeventb.ui_0.1.0.release.jar167.9 KB2018-11-13 17:350
ac.soton.xeventb.tests.common.source_0.0.1.release.jar5.6 KB2018-11-13 17:351
ac.soton.xeventb.tests.common_0.0.1.release.jar25.3 KB2018-11-13 17:350
ac.soton.xeventb.doc_1.0.0.release.jar5.9 MB2018-11-13 17:350
ac.soton.xeventb.common.source_0.0.5.release.jar11.6 KB2018-11-13 17:340
ac.soton.xeventb.common_0.0.5.release.jar16.9 KB2018-11-13 17:340
ac.soton.xeventb.branding.source_0.0.4.release.jar13.8 KB2018-11-13 17:340
ac.soton.xeventb.cheatsheet.source_1.0.0.release.jar10.0 KB2018-11-13 17:340
ac.soton.xeventb.branding_0.0.4.release.jar4.0 KB2018-11-13 17:340
ac.soton.xeventb.cheatsheet_1.0.0.release.jar11.4 KB2018-11-13 17:340
Plugin_Rose_Editor
1.7.0
ac.soton.eventb.roseEditor.source.feature_1.7.0.release.jar0.4 KB2018-11-05 05:440
ac.soton.eventb.roseEditor.sdk_1.7.0.release.jar3.4 KB2018-11-05 05:430
ac.soton.eventb.roseEditor.feature_1.7.0.release.jar4.1 KB2018-11-05 05:431
ac.soton.eventb.roseEditor.source_1.7.0.release.jar64.5 KB2018-11-05 05:431
ac.soton.eventb.roseEditor.branding.source_1.0.0.release.jar3.0 KB2018-11-05 05:430
ac.soton.eventb.roseEditor.branding_1.0.0.release.jar3.3 KB2018-11-05 05:431
ac.soton.eventb.roseEditor_1.7.0.release.jar121.4 KB2018-11-05 05:420
readme.txt1.6 KB2018-11-05 03:001
Plugin_GMF_Tooling_Runtime
0.0.1
org.eclipse.gmf.tooling.runtime_3.3.1.201509291144.jar284.6 KB2018-11-05 03:250
ac.soton.copy.gmf.tooling.runtime.feature_0.0.1.release.jar3.7 KB2018-11-05 03:251
readme.txt0.6 KB2018-11-05 03:241
Plugin_EventB EMF Support For Diagrams
7.0.0
ac.soton.eventb.emf.diagrams.source.feature_7.0.0.release.jar0.5 KB2018-11-05 03:001
ac.soton.eventb.emf.diagrams.sdk_7.0.0.release.jar3.5 KB2018-11-05 03:000
ac.soton.eventb.emf.diagrams.feature_7.0.0.release.jar6.3 KB2018-11-05 03:001
ac.soton.eventb.emf.diagrams.refactor.source_1.0.0.release.jar30.7 KB2018-11-04 20:431
ac.soton.eventb.emf.diagrams.source_4.1.0.release.jar12.7 KB2018-11-04 20:431
ac.soton.eventb.emf.diagrams.generator.source_4.0.0.release.jar20.8 KB2018-11-04 20:431
ac.soton.eventb.emf.diagrams.navigator.source_3.1.0.release.jar23.1 KB2018-11-04 20:431
ac.soton.eventb.emf.diagrams.navigator_3.1.0.release.jar42.5 KB2018-11-04 20:431
ac.soton.eventb.emf.diagrams.refactor_1.0.0.release.jar49.6 KB2018-11-04 20:431
ac.soton.eventb.emf.diagrams.branding_1.0.0.release.jar3.4 KB2018-11-04 20:431
ac.soton.eventb.emf.diagrams.edit.source_2.3.0.release.jar51.4 KB2018-11-04 20:431
ac.soton.eventb.emf.diagrams.generator_4.0.0.release.jar40.1 KB2018-11-04 20:431
ac.soton.eventb.emf.diagrams.branding.source_1.0.0.release.jar2.9 KB2018-11-04 20:430
ac.soton.eventb.emf.diagrams.edit_2.3.0.release.jar105.9 KB2018-11-04 20:431
ac.soton.eventb.emf.diagrams_4.1.0.release.jar17.4 KB2018-11-04 20:431
readme.txt7.9 KB2018-11-05 02:587
6.1.100
ac.soton.eventb.emf.diagrams.generator.source_3.9.100.release.jar37.4 KB2017-12-15 21:240
ac.soton.eventb.emf.diagrams.generator_3.9.100.release.jar58.1 KB2017-12-15 21:240
ac.soton.eventb.emf.diagrams.source.feature_6.1.100.release.jar0.5 KB2017-12-15 21:240
ac.soton.eventb.emf.diagrams.feature_6.1.100.release.jar6.1 KB2017-12-15 21:240
ac.soton.eventb.emf.diagrams.sdk_6.1.100.release.jar3.4 KB2017-12-15 21:240
Plugin_EventB_Translator_Support
0.0.1
ac.soton.emf.translator.eventb_0.0.1.release.jar20.0 KB2018-11-04 09:060
ac.soton.emf.translator.eventb.source_0.0.1.release.jar14.0 KB2018-11-04 09:061
ac.soton.emf.translator.eventb.feature_0.0.1.release.jar3.5 KB2018-11-04 09:060
ac.soton.emf.translator.eventb.sdk_0.0.1.release.jar3.4 KB2018-11-04 09:060
ac.soton.emf.translator.eventb.source.feature_0.0.1.release.jar0.4 KB2018-11-04 09:061
Plugin_EMF_Translator
3.0.0
ac.soton.emf.translator.source.feature_3.0.0.release.jar0.4 KB2018-11-04 07:500
ac.soton.emf.translator.feature_3.0.0.release.jar3.9 KB2018-11-04 07:501
ac.soton.emf.translator.sdk_3.0.0.release.jar3.3 KB2018-11-04 07:500
ac.soton.emf.translator.source_3.0.0.release.jar31.3 KB2018-11-04 07:501
ac.soton.emf.translator_3.0.0.release.jar42.5 KB2018-11-04 07:500
Plugin_EventB EMF Support For Extensions
6.0.0
ac.soton.eventb.emf.core.extension.persistence.source_2.2.0.release.jar8.6 KB2018-11-04 04:122
ac.soton.eventb.emf.core.extension.source_5.0.0.release.jar46.4 KB2018-11-04 04:120
ac.soton.eventb.emf.core.extension.edit.source_2.0.0.release.jar23.3 KB2018-11-04 04:121
ac.soton.eventb.emf.core.extension.navigator.source_5.0.0.release.jar29.0 KB2018-11-04 04:121
ac.soton.eventb.emf.core.extension.navigator_5.0.0.release.jar44.5 KB2018-11-04 04:121
ac.soton.eventb.emf.core.extension.persistence_2.2.0.release.jar11.4 KB2018-11-04 04:122
ac.soton.eventb.emf.core.extension.edit_2.0.0.release.jar39.0 KB2018-11-04 04:122
ac.soton.eventb.emf.core.extension_5.0.0.release.jar54.9 KB2018-11-04 04:121
ac.soton.eventb.emf.core.extension.sdk_6.0.0.release.jar3.4 KB2018-11-04 04:122
ac.soton.eventb.emf.core.extension.feature_6.0.0.release.jar5.0 KB2018-11-04 04:121
ac.soton.eventb.emf.core.extension.source.feature_6.0.0.release.jar0.5 KB2018-11-04 04:121
Plugin_ Event-B EMF Framework
readme.txt8.3 KB2018-11-04 03:533
6.0.0
org.eventb.emf.persistence.tests_0.1.0.release.jar20.5 KB2018-11-04 03:331
org.eventb.emf.persistence.source_3.6.0.release.jar53.4 KB2018-11-04 03:332
org.eventb.emf.persistence.tests.source_0.1.0.release.jar14.8 KB2018-11-04 03:330
org.eventb.emf.formulas_1.5.0.release.jar345.3 KB2018-11-04 03:331
org.eventb.emf.persistence_3.6.0.release.jar95.6 KB2018-11-04 03:331
org.eventb.emf.formulas.source_1.5.0.release.jar331.0 KB2018-11-04 03:331
org.eventb.emf.core.source_5.0.0.release.jar396.9 KB2018-11-04 03:331
org.eventb.emf.core.edit.source_2.0.0.release.jar96.9 KB2018-11-04 03:331
org.eventb.emf.core.edit_2.0.0.release.jar112.3 KB2018-11-04 03:331
org.eventb.emf.core_5.0.0.release.jar263.9 KB2018-11-04 03:331
org.eventb.emf.feature_6.0.0.release.jar6.5 KB2018-11-04 03:321
org.eventb.emf.sdk_6.0.0.release.jar3.5 KB2018-11-04 03:322
org.eventb.emf.source.feature_6.0.0.release.jar0.5 KB2018-11-04 03:321
Core_Rodin_Platform
3.4
README.md0.1 KB2018-02-23 23:060
org.rodinp.dev-3.4.0-6980ca1.zip180.7 MB2018-02-23 22:511
rodin-3.4.0.201802230927-6980ca1-win32.win32.x86_64.zip92.4 MB2018-02-23 22:4819
rodin-3.4.0.201802230927-6980ca1-linux.gtk.x86_64.tar.gz91.9 MB2018-02-23 22:460
rodin-3.4.0.201802230927-6980ca1-macosx.cocoa.x86_64.tar.gz91.8 MB2018-02-23 22:465
3.3-patches
README.txt0.7 KB2018-01-23 00:540
org.eventb.ui.bug771_1.1.0.zip1.4 MB2018-01-23 00:540
Plugin_EventBUtilities
0.2.4
ch.ethz.eventb.utils.tests.source_0.2.4.release.jar17.1 KB2017-11-23 02:300
ch.ethz.eventb.utils.tests_0.2.4.release.jar26.2 KB2017-11-23 02:300
ch.ethz.eventb.utils.source_0.2.4.release.jar14.1 KB2017-11-23 02:300
ch.ethz.eventb.utils_0.2.4.release.jar17.3 KB2017-11-23 02:300
ch.ethz.eventb.utils.tests.feature_0.2.4.release.jar3.4 KB2017-11-23 02:300
ch.ethz.eventb.utils.tests.source.feature_0.2.4.release.jar0.4 KB2017-11-23 02:300
ch.ethz.eventb.utils.sdk_0.2.4.release.jar3.4 KB2017-11-23 02:300
ch.ethz.eventb.utils.source.feature_0.2.4.release.jar0.4 KB2017-11-23 02:300
ch.ethz.eventb.utils_feature_0.2.4.release.jar3.6 KB2017-11-23 02:300