Une approche formelle de l'interopérabilité pour une famille de dsl Contributor(s): Ali-A (Author) |
|
ISBN: 6131570213 ISBN-13: 9786131570216 Publisher: Omniscriptum OUR PRICE: $77.90 Product Type: Paperback Language: French Published: February 2018 |
Additional Information |
BISAC Categories: - Computers | Information Technology - Literary Criticism |
Series: Omn.Univ.Europ. |
Physical Information: 0.4" H x 6" W x 9" (0.57 lbs) 172 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |