Une approche formelle de l'interopérabilité pour une famille de DSL
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 oeuvr…
Mehr
CHF 104.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V105:
Folgt in ca. 15 Arbeitstagen
Produktdetails
- ISBN: 978-613-1-57021-6
- EAN: 9786131570216
- Produktnummer: 12025619
- Verlag: Ed Universitaires Europeennes
- Sprache: Französisch
- Erscheinungsjahr: 2018
- Seitenangabe: 172 S.
- Masse: H22.0 cm x B15.0 cm x D1.0 cm 274 g
- Gewicht: 274
- Sonstiges: Ab 1 - 17 J.
Über den Autor
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.
100 weitere Werke von Ali-A:
Bewertungen
Anmelden