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
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
