3.4.2 Génération comportementale du code
Un modèle ou une partie du modèle est traduit
à des unités comportementales dans un langage de programmation
tel que fonctions, méthodes, services
3.4.3 Génération de la
spécification
Un modèle ou une partie du modèle est traduit
à une spécification pour être utilise avec un outil
d'analyse pour s'établir si le modèle endure quelque besoins
fonctionnels ou non fonctionnelles.
| 
