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.
 
 
 

13 lines
669 B

###############################################################################
# Copyright (c) 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 v2.0
# which accompanies this distribution, and is available at
# https://www.eclipse.org/legal/epl-2.0
#
# Contributors:
# Arnaud Dieumegard (IRT Saint Exupéry) - initial API and implementation
###############################################################################
pluginName = com.irtsaintexupery.sirius.pseim
providerName = IRT AESE (IRT Saint Exupéry)
viewpointName = PSEIM