This project is a demonstrator of pattern instanciation on system engineering model (pseim), made by the MOISE project. It contains the metamodel of the pseim, graphical and textual editors, formal verification models (event-B) and examples.

9 lines
387 B

7 years ago
Copyright (c) 2017-2018 IRT AESE (IRT Saint Exupéry).
All rights reserved. This program and the accompanying materials
are made available under the terms of the
Eclipse Public License 2.0 (EPL 2.0)
which accompanies this distribution, and is available at
https://www.eclipse.org/legal/epl-2.0/
Contributors:
Arnaud Dieumegard, Jean-Paul Bodeveix, Mamoun Filali – Initial contribution