形式理论又称数理形式理论或形式化建模(Formal Modeling), 其主要内容是利用形式化(Formalization)的方法将理论要素转化为数学语言中的符号, 由此构建出一套公理系统。
基于28个网页-相关网页
密码协议分析与设计的基础是对其进行形式化建模。
The formal modeling for cryptographic protocols, namely security protocols, is the basis of their analysis and design.
其次，研究基于性能评估进程代数的系统生存性形式化建模方法。
Secondly, formal modeling method of system survivability based on performance evaluation process algebra is studied.
通过某学校信息系统的实例，阐述了UM L视图的形式化建模方法和分析技术。
A detailed case study of a school information system illustrates our method for modeling and analyzing UML diagrams.
应用推荐