1.
The Research on Methods of Formal Software Developing Based on Petri Nets;
基于Petri网的形式化软件开发方法研究
2.
Research and Application of Formal Method for Software Development Based on Components;
基于构件的软件形式化开发方法研究与应用
3.
Researches on Electric Network Planning and Development of Graphical Software;
电网规划方法研究及图形化软件开发
4.
The Research on Service Oriented Web Software Development Technology Based on Formal Method;
基于形式方法面向服务的Web软件开发技术研究
5.
Based Object-Z formal specification method software development;
基于Object-Z规格说明形式方法的软件开发
6.
A formal development method based on B method and component;
一种基于B方法和构件技术的形式化开发方法
7.
Multi-point Forming Surface Generating Method and Software Development
多点成形曲面的生成方法与软件开发
8.
Research on Formal Methods for Safe Software Architecture;
安全软件体系结构的形式化方法研究
9.
Study on the Development Method of Embedded Software Based on Embedded UML;
基于embedded UML的嵌入式软件开发方法研究
10.
Research of Model Based Embedded Software Design Method
基于模型的嵌入式软件开发方法研究
11.
Analysis of Linux Embedded System Software Development Methodology
浅析Linux嵌入式系统软件的开发方法
12.
A Research in the Method of Engineering Design and Development for DSP Software;
DSP软件工程化设计与开发方法研究
13.
Research and Application of Integrated Software Developing Method;
集成化的软件开发方法的研究与应用
14.
Research on Localization of Reuse-Oriented Software Development Method;
面向复用软件开发方法的本地化研究
15.
Research on Applications of Formal Method in Component-Based Software Reuse;
形式化方法在基于构件软件重用中的应用研究
16.
Combining Structure Method with Object Oriented Method in Software Development;
软件开发中结构化方法与OO方法的结合
17.
Application of Component Based Software Development on Concordance Software;
构件化开发方法在语料分析软件中的应用
18.
A Study of Software Formal Requirements Based on Event-B;
基于Event-B的软件形式化需求获取方法研究