1.
Research on Software Architectural Formalism Based on π Calculus;
基于π演算的软件体系结构形式化研究
2.
Research on the Formal Verification of ASIP Architecture Level Design
ASIP体系结构形式化建模与验证方法研究
3.
Research on Formal Architectural Semantics and Transformational Consistency Supporting Model Driven Development;
支持模型驱动开发的体系结构形式化语义与转换一致性研究
4.
Formal Semantics of Architecture Model of Collaborative Systems
协同系统体系结构模型的形式化语义
5.
Research on Formal Methods for Safe Software Architecture;
安全软件体系结构的形式化方法研究
6.
Z Language and Formalization of Software Architecture Style
Z语言与软件体系结构风格的形式化
7.
Formal Semantics of Component-Based Architecture Model Mapping
构件式体系结构模型映射的形式化语义
8.
FORMALIZATION OF SOFTWARE ARCHITECTURE STYLE
“管道-过滤器”软件体系结构风格的形式化
9.
Social Trust,Financial System Structure and the Organization Structure of Banking Business:International Evidence;
社会信用文化、金融体系结构与金融业组织形式
10.
Comparison of Formal Description Methods for Procedure of Software Architecture Acquisition
软件体系结构获取过程的形式化描述方法比较
11.
Research on the Software Architecture Description Combining Visual Methods and Formal Methods;
可视化与形式化相结合的软件体系结构描述研究
12.
Research on Service-Oriented New Generation Network Architecture and Its Formal Modeling;
面向服务的新一代网络体系结构及其形式化建模的研究
13.
The Research and Application of Software Architecture Based on UML and Formal Method;
基于UML和形式化方法的软件体系结构研究与应用
14.
Reflection Mechanism for Software Architecture Reuse and its Formalization
一种支持软件体系结构重用的反射机制及其形式化
15.
Formal description for architecture model based on feature and category theory
基于特征和范畴理论的体系结构模型形式化描述
16.
A structurally differentiated form of an element that exhibits allotropy.
同素异形体化学元素的结构分化形式，表现为同素异形现象
17.
Study on the System Structure Mode of the Factors Effect on Female University Students Figure Beauty;
女大学生形体美影响因素系统结构模式研究
18.
Architecture and Implementation Mode of Networked Manufacturing System;
网络化制造系统的体系结构及实施模式