1.
Research on Formalization of Systems Modeling Language Based on rCOS;
基于rCOS的SysML形式化研究
2.
On Z Notation-based Formalization of Software Engineering
基于Z语言的软件工程形式化研究
3.
Principled Reasoning in Conversational Implicature: A Formalist Program;
会话含义中规则性推理的形式化研究
4.
The Stduy of Formal Description of Chinese Character Glyph and Application
汉字字形形式化描述方法及应用研究
5.
The Change of Arbitration Agreement Form as a Reflection of the Change of Arbitration System Comprehension;
形式变化折射理念变迁——仲裁协议形式比较研究
6.
Research on Formal Methods for Safe Software Architecture;
安全软件体系结构的形式化方法研究
7.
Research on Automatic Service Composition and Formal Verification;
Web服务自动组合与形式化验证的研究
8.
A Study of the Forms and Culture of Urumqi Regional Architecture;
乌鲁木齐地域性建筑形式与文化研究
9.
Experimental and Theoretical Study on Photovoltaic Roofs;
光伏屋顶形式优化的实验和理论研究
10.
Study on Formal Method in UML Sequence Diagram and Statechart;
UML顺序图和状态图的形式化方法研究
11.
The Research on Methods of Formal Software Developing Based on Petri Nets;
基于Petri网的形式化软件开发方法研究
12.
Research on Application of Formal Method to Reverse Engineering;
形式化技术在逆向工程中的应用研究
13.
Study and Application of SIP Using Formal Method;
基于形式化方法的SIP研究与应用
14.
The Research of Formal Verification Application in Office Security;
形式化验证在Office安全中的应用研究
15.
The Research of Formal Verification Method on Cryptography Protocol;
关于密码协议形式化验证方法的研究
16.
The Security Mechanism Research and Formal Analysis Based on SET Protocol;
SET协议的安全机制研究与形式化分析
17.
Researching of the Formal Method Based Fuzzy Math;
基于模糊数学的形式化开发方法研究
18.
A Study on the Modernization of Traditional Chinese Furniture Structure;
中国传统家具结构形式现代化的研究