Une approche IDM du transformation du modèle ecore vers event-b.

( Télécharger le fichier original )
par Bouazizi Hana
FSM - Mastère recherche 2014

précédent sommaire suivant

Bitcoin is a swarm of cyber hornets serving the goddess of wisdom, feeding on the fire of truth, exponentially growing ever smarter, faster, and stronger behind a wall of encrypted energy

1.9 Conclusion

ans ce chapitre, nous avons présenté une étude sur l'Ingénierie Dirigé par les modèles (IDM) et les outils que nous allons l'utiliser dans la suite de cet mémoire: EMF, XMI, ATL, Xpand, check et MWE, autour de la plate forme Eclipse. Dans le prochain chapitre nous présenterons un aperçu sur la méta-modélisation semi-formelle avec ECore.

précédent sommaire suivant

"Nous devons apprendre à vivre ensemble comme des frères sinon nous allons mourir tous ensemble comme des idiots" Martin Luther King