riseclipse-validator-ocl

Le projet riseclipse-validator-ocl est un outil de validation de modèles basé sur des contraintes OCL, dédié aux normes IEC. Il est open source et disponible sous la licence Eclipse Public License version 2.0.

Dépôt de code

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

Cas d'utilisation métier

Validation de modèles basée sur des contraintes OCL : rechercher des initiatives proches

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 à 09:11:53

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