Djeddai, SelmaStrecker, MartinMezghiche, Mohamed2015-06-112015-06-11201203029743https://dspace.univ-boumerdes.dz123456789/1666enFormal MethodsModel Driven EngineeringModel TransformationVerificationBidirectional transformationDomain specific languagesEclipse environmentFormal developmentFunctional datasGeneric transformationsGraphical interfaceMeta modelMetamodelingProof assistantSoftware systemsTranslation methodIntegrating a formal development for DSLs into meta-modelingArticle