Long pages
From Event-B
Jump to navigationJump to search
Showing below up to 50 results in range #241 to #290.
- (hist) OldUML-B [3,601 bytes]
- (hist) Negation Normal Form [3,510 bytes]
- (hist) Exporting and importing archives containing theories [3,496 bytes]
- (hist) Modularisation Integration Issues [3,440 bytes]
- (hist) D45 Introduction [3,333 bytes]
- (hist) Rodin File Types [3,262 bytes]
- (hist) Proof Purger Design [3,158 bytes]
- (hist) Theory Plug-in Developer Documentation [3,134 bytes]
- (hist) Rose (Structured) Editor [3,121 bytes]
- (hist) Changes to the Mathematical Language of Event-B [3,118 bytes]
- (hist) Rodin Workshop 2024 [3,116 bytes]
- (hist) Rodin Platform 2.1.1 Release Notes [3,110 bytes]
- (hist) Accessing Proof Obligations [3,103 bytes]
- (hist) Team-based development [2,998 bytes]
- (hist) Proof Simplification [2,996 bytes]
- (hist) Rodin Platform 2.2.1 Release Notes [2,995 bytes]
- (hist) Creating a new plug-in using eclipse (How to extend Rodin Tutorial) [2,990 bytes]
- (hist) Constrained Dynamic Lexer [2,977 bytes]
- (hist) Identifier Decomposition [2,973 bytes]
- (hist) D32 Introduction [2,901 bytes]
- (hist) Predicate Variables Extension [2,890 bytes]
- (hist) Extending the Proof Manager [2,834 bytes]
- (hist) How to read Rodin projects and elements programmatically [2,833 bytes]
- (hist) Proof Obligation Commands [2,824 bytes]
- (hist) D23 Introduction [2,818 bytes]
- (hist) Event-B Language [2,804 bytes]
- (hist) EMF Compare Editor installation [2,776 bytes]
- (hist) UML-B - Modelling a control system [2,738 bytes]
- (hist) IUML-B Modelling a control system [2,738 bytes]
- (hist) Rodin Workshop 2023 [2,670 bytes]
- (hist) ProB API [2,666 bytes]
- (hist) Decomposition Release History [2,577 bytes]
- (hist) Sharing theories [2,535 bytes]
- (hist) ADVANCE D3.2 Introduction [2,503 bytes]
- (hist) ReqsManagement [2,468 bytes]
- (hist) Rule-based Prover Plug-in [2,450 bytes]
- (hist) Proof Purger Interface [2,432 bytes]
- (hist) Rodin Workshop 2018 [2,431 bytes]
- (hist) Project Diagram [2,403 bytes]
- (hist) Extending the Structure Editor [2,370 bytes]
- (hist) Versioned Reasoners [2,348 bytes]
- (hist) UML-B FAQ [2,318 bytes]
- (hist) Proof Trees [2,317 bytes]
- (hist) UML-B release notes for 0.5.8 [2,297 bytes]
- (hist) Refactoring Framework Release History [2,243 bytes]
- (hist) Feature Modelling Tool [2,239 bytes]
- (hist) UML-B notes for 0.5.8 [2,225 bytes]
- (hist) ADVANCE D3.3 Introduction [2,204 bytes]
- (hist) Rodin Platform Welcome Page [2,196 bytes]
- (hist) Extension Proof Rules [2,102 bytes]