1. Littérature générale
  2. Essais littéraires

EAN13
9786131570216
Éditeur
Univ Européenne
Date de publication
26 octobre 2011
Collection
OMN.UNIV.EUROP.
Nombre de pages
172
Dimensions
22 x 15 cm
Poids
262 g
Langue
fre

Une Approche Formelle De L'Interopérabilité Pour Une Famille De Dsl, Interopérabilité De Dsl

Abou Dib Ali

Univ Européenne

Prix public : 59,00 €

Dans ce Livre, nous proposons une méthode rigoureuse, formellement fondée pour traiter de l'interopérabilité d'une famille de langages dédiés (DSL) issus d'un même domaine métier. A partir de la sémantique de chacun des DSL, notre démarche construit, par un calcul de co-limite sur des spécifications algébriques, un langage qui unifie les concepts de la famille. L'approche se caractérise notamment par la capacité à traduire automatiquement le code d'un DSL vers le langage unificateur. Un autre bénéfice réside dans la preuve qu'une propriété sur un langage de la famille se décline, par construction, vers l'environnement unifié. La mise en oeuvre de la démarche a été outillée ; elle s'appuie principalement sur le logiciel Specware de Kestrel et l'assistant de preuve Isabelle.
Trouver ou

Offres