Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Une approche formelle de l'interopérabilité pour une famille de dsl
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Une approche formelle de l'interopérabilité pour une famille de dsl

Une approche formelle de l'interopérabilité pour une famille de dsl

Interopérabilité de dsl

Abou Dib Ali - Collection Omn.univ.europ.

172 pages, parution le 26/10/2011

Résumé

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.

Caractéristiques techniques

  PAPIER
Éditeur(s) Editions universitaires européennes
Auteur(s) Abou Dib Ali
Collection Omn.univ.europ.
Parution 26/10/2011
Nb. de pages 172
Format 15 x 22
Couverture Broché
Poids 262g
EAN13 9786131570216

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription