1.
Research and Application of Formal Method for Software Development Based on Components;
基于构件的软件形式化开发方法研究与应用
2.
Research on Formal Software Modeling and Design of Intelligent Distributed Supervisory and Control Systems;
智能分布监控系统软件形式化建模和设计研究
3.
A Study of Software Formal Requirements Based on Event-B;
基于Event-B的软件形式化需求获取方法研究
4.
Research of Formalization Description Methods of Interlock Software in Railway Signal System;
铁路信号系统中联锁软件形式化描述方法的研究
5.
On Z Notation-based Formalization of Software Engineering
基于Z语言的软件工程形式化研究
6.
Research on Formal Methods for Safe Software Architecture;
安全软件体系结构的形式化方法研究
7.
The Research on Methods of Formal Software Developing Based on Petri Nets;
基于Petri网的形式化软件开发方法研究
8.
Z Language and Formalization of Software Architecture Style
Z语言与软件体系结构风格的形式化
9.
Research on Applications of Formal Method in Component-Based Software Reuse;
形式化方法在基于构件软件重用中的应用研究
10.
FORMALIZATION OF SOFTWARE ARCHITECTURE STYLE
“管道-过滤器”软件体系结构风格的形式化
11.
Research on Software Architectural Formalism Based on π Calculus;
基于π演算的软件体系结构形式化研究
12.
A Study on Modeling Software Requirements Based on Scenario & Formal Method;
基于场景和形式化方法的软件需求建模研究
13.
Comparison of Formal Description Methods for Procedure of Software Architecture Acquisition
软件体系结构获取过程的形式化描述方法比较
14.
Design of Trusted Software Based on MDA and Executable Formalization
基于MDA和可执行形式化的可信软件设计
15.
Modeling and Verification of Embedded Real-time Software by Combination of Visual Method and Formal Method;
形式化与可视化相结合的嵌入式实时软件建模和验证
16.
The Research of a Formalization Requirement Analysis Method Based on Software Components for ERP
基于软件构件的ERP系统形式化的需求分析方法研究
17.
Research on the Software Architecture Description Combining Visual Methods and Formal Methods;
可视化与形式化相结合的软件体系结构描述研究
18.
Software Development Group Structure s Effect on Software Productivity and Software Quality;
组织形式对软件生产率和软件质量的影响