Files
2018-12-06 14:47:05 +01:00

691 B

This project is a demonstrator of pattern instantiation on the System Engineering Information Model (PSEIM) made by the MOISE project. It contains:

  • the PSEIM metamodel and its basic tree editor (plug-ins com.irtsaintexupery.pseim, com.irtsaintexupery.pseim.edit and com.irtsaintexupery.pseim.editor),
  • a graphical editor based on Sirius (plug-in com.irtsaintexupery.sirius.pseim),
  • textual editors (plug-ins com.irtsaintexupery.xtext.*),
  • formal verification models (Event-B) and examples.

More information about the required Eclipse configurations can be found in the folder eclipse/releng/eclipse.configuration.

Licensing information can be found in the Copyright file.