Un îlot formel pour les transformations de modèles qualifiables

Le processus de développement logiciel est composé d'un grand nombre d'étapes qui intègrent de plus en plus d'outils. Les chaînes de développement de systèmes critiques (aéronautique, domaine médical) font appel à des outils de génération de code basés sur des modèles. Cette complexif...

Full description

Bibliographic Details
Main Author: Bach, Jean-Christophe
Other Authors: Université de Lorraine
Language:fr
Published: 2014
Subjects:
Online Access:http://www.theses.fr/2014LORR0128/document