形式理论又称数理形式理论或形式化建模(Formal Modeling), 其主要内容是利用形式化(Formalization)的方法将理论要素转化为数学语言中的符号, 由此构建出一套公理系统。
基于28个网页-相关网页
...尽的描述(detailed description) 问题的提出非正式的理论(informal theory) 定性的分析、假设的提出正式的建模( formal modeling) 研究方法实证三者的有机结合
基于20个网页-相关网页
formal and intelligent modeling 形式化智能化建模
The solution is therefore to rely heavily on formal modeling for the business processes, as is common practice today for software systems.
因此解决方案非常依赖于业务过程的正式建模，就如同现今软件系统的通用实践。
OOPN can be used as formal modeling tool for Object-Oriented System.
OOPN能够成为面向对象系统的一种形式化的建模工具。
Secondly, formal modeling method of system survivability based on performance evaluation process algebra is studied.
其次，研究基于性能评估进程代数的系统生存性形式化建模方法。
应用推荐