mirror of
http://172.16.200.102/MOISE/Pattern-Instanciation-On-System-Engineering-Model.git
synced 2025-12-21 16:53:58 +01:00
11 lines
691 B
Markdown
11 lines
691 B
Markdown
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.
|