MOISE/Pattern-Instanciation-On-System-Engineering-Model
1
0
Fork 0
mirror of http://172.16.200.102/MOISE/Pattern-Instanciation-On-System-Engineering-Model.git synced 2025-11-26 00:27:59 +01:00
Code Issues Projects Releases Wiki Activity

Commit Graph

  • 72e69c8c5d Update Event-B models and proofs master Arnaud Dieumegard 2019-12-19 16:19:20 +01:00
  • 0596a3cd24 Update Event-B models and proofs Arnaud Dieumegard 2019-12-06 13:26:01 +01:00
  • 84bd12fa07 Update of eclipse runtime launch configuration Arnaud Dieumegard 2019-01-17 16:08:00 +01:00
  • 26b051b0cf Added N-Version programming pattern description + mapping to simple seim model in examples. Arnaud Dieumegard 2019-01-17 16:06:59 +01:00
  • f45bceb670 Patterns grammar correction for links types. Arnaud Dieumegard 2019-01-17 16:05:48 +01:00
  • 650ef7b56a Added mapping xtext editor Arnaud Dieumegard 2019-01-17 16:04:44 +01:00
  • a85ade0b42 Added mapping metamodel and generated code. Arnaud Dieumegard 2019-01-17 16:03:54 +01:00
  • a3370dc0c7 Factorization of Link type grammar rule. Regenerated code. Arnaud Dieumegard 2019-01-17 11:04:12 +01:00
  • fd7c2de530 SEIM element name cardinality correction. Regenerated code. Arnaud Dieumegard 2019-01-17 11:00:51 +01:00
  • 3bf1aadfd6 Added new connection patterns to metamodel. Updated editors. Bug correction in MWE2 generation scripts of XText editors. Arnaud Dieumegard 2019-01-10 16:19:07 +01:00
  • 79820f4433 Initial commit. Pierre Gaufillet 2018-12-06 14:47:05 +01:00
  • b1dcd806aa Copyright Pierre Virelizier 2018-12-04 16:26:51 +00:00