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.
