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 ...
Read More
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.
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
