Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
Une approche formelle de l'interopérabilité pour une famille de DSL
Univ Europeenne - EAN : 9786131570216
Édition papier
EAN : 9786131570216
Paru le : 26 oct. 2011
59,00 €
55,92 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9786131570216
- Réf. éditeur : 5449077
- Editeur : Univ Europeenne
- Date Parution : 26 oct. 2011
- Disponibilite : Disponible
- Barème de remise : NS
- Nombre de pages : 172
- Format : H:220 mm L:150 mm
- Poids : 262gr
- Interdit de retour : Retour interdit
- 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.
- Biographie : 2010-2011 : ATER à l'INSA 2009-2010 : ATER à l'UPS2005-2009 : Doctorat en Informatique à l'IRIT/UPS au sein de l'équipe MACAO, intitulé par : Une approche formelle de l'interopérabilité pour une famille de langages dédiés.
