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.
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
|
|
|
###############################################################################
|
|
|
|
|
|
# Copyright (c) 2018 IRT AESE (IRT Saint Exup<EFBFBD>ry).
|
|
|
|
|
|
# All rights reserved. This program and the accompanying materials
|
|
|
|
|
|
# are made available under the terms of the Eclipse Public License v2.0
|
|
|
|
|
|
# which accompanies this distribution, and is available at
|
|
|
|
|
|
# https://www.eclipse.org/legal/epl-2.0
|
|
|
|
|
|
#
|
|
|
|
|
|
# Contributors:
|
|
|
|
|
|
# Arnaud Dieumegard (IRT Saint Exup<EFBFBD>ry) - initial API and implementation
|
|
|
|
|
|
###############################################################################
|
|
|
|
|
|
pluginName = com.irtsaintexupery.sirius.pseim
|
|
|
|
|
|
providerName = IRT AESE (IRT Saint Exup<EFBFBD>ry)
|
|
|
|
|
|
viewpointName = PSEIM
|
