Gallery of new files
From Event-B
Jump to navigationJump to searchThis special page shows the last uploaded files.
- Extend Rodin Tuto 1 11 Add PrettyPrinter.png Maintenance script
20:49, 30 April 2020
571 × 272; 32 KB
- Extend Rodin Tuto 1 10 boundContentExtension.png Maintenance script
20:49, 30 April 2020
571 × 390; 50 KB
- Extend Rodin Tuto 1 9 Bound in EventB Explorer.png Maintenance script
20:49, 30 April 2020
216 × 162; 10 KB
- Rodin in the Field of Railway System Engineering.pdf Maintenance script
20:49, 30 April 2020
; 64 KB
- Using Rodin and BMotionStudio for Public Engagement-slides.pdf Maintenance script
20:49, 30 April 2020
; 42 KB
- Refactory progress updating rodin indexer.png Maintenance script
20:49, 30 April 2020
465 × 229; 23 KB
- Extend Rodin Tuto 1 7 Create Interface Wizard.png Maintenance script
20:49, 30 April 2020
630 × 545; 50 KB
- Extending Code Generation to Support Platform-Independent Event-B Models.pdf Maintenance script
20:49, 30 April 2020
; 68 KB
- Extend Rodin Tuto 1 6 Extension Point Selection.png Maintenance script
20:49, 30 April 2020
513 × 660; 58 KB
- Event-B Specification Templates for Defining Domain Specific Languages.pdf Maintenance script
20:49, 30 April 2020
; 105 KB
- SlideAndMerge - A Rodin plug-in for refactoring refinement structure of Event-B machines.pdf Maintenance script
20:49, 30 April 2020
; 131 KB
- Extend Rodin Tuto 1 7 Add Attibute Relation Extension2.png Maintenance script
20:49, 30 April 2020
855 × 418; 51 KB
- Userslmcghiedocumentsupload-testslideshare-test-1-1-728.jpg Maintenance script
20:49, 30 April 2020
728 × 546; 14 KB
- Rodin Performances Editor perf simplev2.png Maintenance script
20:49, 30 April 2020
1,756 × 565; 108 KB
- Rodin Performances Core perf simplev3.png Maintenance script
20:49, 30 April 2020
1,176 × 281; 57 KB
- Extend Rodin Tuto 1 5 Added Dependencies.png Maintenance script
20:49, 30 April 2020
413 × 528; 21 KB
- Extend Rodin Tuto 1 3 NewPlug-inProject Content.png Maintenance script
20:49, 30 April 2020
652 × 663; 67 KB
- Extend Rodin Tuto 1 7 Add Attibute Extension.png Maintenance script
20:49, 30 April 2020
735 × 555; 55 KB
- Extend Rodin Tuto 1 8 Used ExtensionsExtended UI.png Maintenance script
20:49, 30 April 2020
993 × 232; 11 KB
- Translating SCXML Statecharts to-iUML-B State-machines-slides.pdf Maintenance script
20:49, 30 April 2020
; 743 KB
- Crossed-Project Reference for Managing Model Variations-slides.pdf Maintenance script
20:49, 30 April 2020
; 224 KB
- Extending Code Generation to Support Platform-Independent Event-B Models-slides.pdf Maintenance script
20:49, 30 April 2020
; 1.27 MB