1) non-formalization
非形式化
1.
Mohist logic has the character of non-formalization,while Aristotlian Logic is mainly charactered by its formalization.
非形式化是墨家逻辑的主要特点,而亚里士多德逻辑的主要特点是形式化。
2) non-formalization descriprion
非形式化描述
3) informal analysis
非形式化分析
4) informal method
非形式化方法
5) non-formal modeling
非形式化构造
6) non-formal methods
非形式化技术
1.
It is necessary to integrate non-formal methods with formal methods within communication system software engineering, while the former offers a good support for systems early modeling, and the latter provides the basis for system specification and implementation.
通信软件工程包括系统建模和设计实现两大阶段 ,分别采用非形式化技术与形式化技术 。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条