riseclipse-ocl-constraints-scl2003

RiseClipse est un ensemble d'outils basé sur l'ingénierie axée sur les modèles (MAE) dédié aux normes IEC. Ce dépôt spécifique contient des contraintes OCL pour la validation de modèles SCL.

Dépôt de code

https://gitlab-research.centralesupelec.fr/RiseClipseGroup/riseclipse-ocl-constraints-scl2003 (nouvelle fenêtre)

Cas d'utilisation métiers

Organisation

Administration centrale
- Gouvernement (Premier ministre et ministères)
  - Ministère de l’Enseignement supérieur, de la Recherche et de l'Espace
    - Établissements d'enseignement supérieur et de recherche - Ministère chargé de l'Enseignement supérieur
      - CentraleSupélec (organisation rattachée)

Description générée le mardi 19 mars 2024 à 17:29:36

D'autres initiatives de la même organisation

CentraleSupélec
centralesupelec.fr
CVA6 RISC-V Shadow Stack
gitlab-research.centralesupelec.fr/crepes/crepes
ruche_examples
gitlab-research.centralesupelec.fr/mesocentre-public/ruche_examples
bayescovid19
gitlab-research.centralesupelec.fr/datasc_projects_public/bayescovid19