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...
Main Author: | |
---|---|
Other Authors: | |
Language: | fr |
Published: |
2014
|
Subjects: | |
Online Access: | http://www.theses.fr/2014LORR0128/document |