MOISE
/
Pattern-Instanciation-On-System-Engineering-Model
mirror of http://172.16.200.102/MOISE/Pattern-Instanciation-On-System-Engineering-Model.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
12 Commits
1 Branch
0 Tags
3.4 MiB
Branch: master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Commit Graph

12 Commits (master)
 

Author SHA1 Message Date
Arnaud Dieumegard 72e69c8c5d Update Event-B models and proofs
5 years ago
Arnaud Dieumegard 0596a3cd24 Update Event-B models and proofs
5 years ago
Arnaud Dieumegard 84bd12fa07 Update of eclipse runtime launch configuration
6 years ago
Arnaud Dieumegard 26b051b0cf Added N-Version programming pattern description + mapping to simple seim
6 years ago
Arnaud Dieumegard f45bceb670 Patterns grammar correction for links types.
6 years ago
Arnaud Dieumegard 650ef7b56a Added mapping xtext editor
6 years ago
Arnaud Dieumegard a85ade0b42 Added mapping metamodel and generated code.
6 years ago
Arnaud Dieumegard a3370dc0c7 Factorization of Link type grammar rule. Regenerated code.
6 years ago
Arnaud Dieumegard fd7c2de530 SEIM element name cardinality correction. Regenerated code.
6 years ago
Arnaud Dieumegard 3bf1aadfd6 Added new connection patterns to metamodel. Updated editors. Bug
6 years ago
Pierre Gaufillet 79820f4433 Initial commit.
6 years ago
Pierre Virelizier b1dcd806aa Copyright
6 years ago