形式化方法 en francais

• Méthode formelle (informatique)

• 形:    名 1.forme;configuration圆~rond;cercle....
• 形式:    名 forme内容与~的统一unité du contenu et de la forme...
• 形式化:    formalisation...
• 式:    名 1.type;style;modèle新~nouveau modèle;nouveau...
• 化:    动 1.changer 2.dépenser~钱不少dépenser beaucoup...
• 方:    形 carré~桌table carrée 名 1.direction东~l'est....
• 方法:    名 méthode;moyen;procédé;façon...
• 法:    名 1.loi守~observer la loi;être respectueux des...
• 使形式化:    formaliser...
• 机械化方法:    méthode mécaniséeméthode mécanique...
• 形式方法:    Méthode formelle...
• 形式方法人物:    Personnalité en méthodes formelles...
• 形式:    名forme内容与~的统一unité du contenu et de la ......
• 公式化:    名formulisme(en littérature et arts)形st ......
• 图式化:    schématisation...