Annuaire des initiatives
Pertinence
Vous ne trouvez pas l'initiative qui correspond à votre besoin ? Notre assistant peut vous aider.
- Institut Mines-Télécom - Atlantique
- Entity Framework Core
- Notoriété 7 %CoqTL est un langage de programmation interne (DSL) pour la transformation de modèles dans l'environnement de preuve formelle Coq. Il permet de spécifier des transformations de modèles de manière déclarative et de générer des preuves pour ces transformations. Ce dépôt contient des exemples et des preuves pour CoqTL, ainsi que des générateurs pour créer des métamodèles et des modèles à partir de fichiers Ecore et XMI.
- Notoriété 7 %Moteur réactif pour le langage de transformation de modèles ATL. Dans un environnement d'applications à base de modèles, il fonctionne en activant uniquement le calcul strictement nécessaire en réponse aux mises à jour ou demandes d'éléments de modèles. Le calcul est mis à jour lorsque cela est nécessaire, de manière autonome et optimisée en utilisant l'incrémentalité et l'évaluation paresseuse.
13 initiatives
10