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.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
A gagner : la BD jeunesse adaptée du classique de Mary Shelley !
Caraïbes, 1492. "Ce sont ceux qui ont posé le pied sur ces terres qui ont amené la barbarie, la torture, la cruauté, la destruction des lieux, la mort..."
Chacune des deux demeures dont il sera question est représentée dans le sablier et le lecteur sait d'entrée de jeu qu'il faudra retourner le livre pour découvrir la vérité. Pour comprendre l'enquête menée en 1939, on a besoin de se référer aux indices présents dans la première histoire... un véritable puzzle, d'un incroyable tour de force
Sanche, chanteur du groupe Planète Bolingo, a pris la plume pour raconter son expérience en tant qu’humanitaire...
