org.eclipse.atl.reactive.haskell_semantics

Ce projet concerne la transformation de modèles et l'analyse de code réactif, en vérifiant des propriétés spécifiques grâce à la sémantique formelle de Haskell.

Dépôt de code

https://github.com/atlanmod/org.eclipse.atl.reactive.haskell_semantics (nouvelle fenêtre)

Cas d'utilisation métiers

Organisation

Administration centrale
- Gouvernement (Premier ministre et ministères)
  - Ministère de l’Économie, des Finances et de la Souveraineté industrielle, énergétique et numérique
    - Établissements publics sous tutelle - Ministère chargé de l'Économie et des Finances et de la Souveraineté industrielle et énergétique
      - Institut Mines-Télécom École de management
        Écoles internes
        Institut Mines-Télécom - Atlantique (organisation rattachée)

Outil utilisé

Base : voir les initiatives de ses organisations qui l'ont aussi

Description générée le lundi 18 mars 2024 à 21:05:37

D'autres initiatives de la même organisation

NeoEMF
github.com/atlanmod/NeoEMF
CoqTL
github.com/atlanmod/coqtl
emfviews
github.com/atlanmod/emfviews
Mogwai
github.com/atlanmod/Mogwai