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.
 
 
 

388 B

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