1.
Denotational Semantics and Program Analysis for ATLAS;
ATLAS语言指称语义及程序分析技术
2.
Transformation-based Program Analysis Technology and Its Application;
基于转换的程序分析技术的研究与应用
3.
Q-Learning Based Complex Program Dynamic Analysis Technology;
基于Q学习的复杂程序动态分析技术
4.
Research on Model Checking Based Source Code Analysis
基于模型检验技术的源程序分析研究
5.
Automatic analysis of ATE application program with source code analysis techniques
用代码分析技术对ATE应用程序的自动分析
6.
Research on Performance Analysis and Optimization Techniques for Scientific Programs;
科学计算程序性能分析与优化关键技术研究
7.
Research and Implementation of a Static Analysis and Extraction Technology in Program Understanding;
程序理解中静态分析与抽取技术的研究及实现
8.
Research of Program Static Analyzer Based on Incremental Techniques;
基于增量式技术的程序静态分析器的研究
9.
The Study and Implementation of C Program Loop Characteristic Analysis Technology Based on SUIF2;
基于SUIF2的C程序循环特征分析技术研究与实现
10.
Research on Event Sequence Diagram Analysis Technology Oriented for Maintenance Support Process;
面向维修保障过程的事件序列图分析技术研究
11.
Analysis techniques for system reliability--Procedure for failure mode and effects analysis(FMEA)
GB/T7826-1987系统可靠性分析技术失效模式和效应分析(FMEA)程序
12.
An Analysis of VxD Technology in Windows9x System and Programming of Device Driver;
VxD技术深入剖析和VxD程序的开发
13.
Brief Analysis of Exceptions Handling Techniques in Java Programming Language
Java程序设计中异常处理技术浅析
14.
A Study of the Methods for Quality Analysis and the Approach for the Integration of Quality Information in Multistage Manufacturing Process;
多工序制造过程质量分析方法与信息集成技术研究
15.
Research on VM-based Program Spectra Difference Analysis and Fault Localization;
虚拟机支持的程序谱差异分析和故障定位技术研究
16.
The Research of Key Techniques for Function Mining and Time Series Analysis by Gene Expression Programming;
基于基因表达式编程函数挖掘和时间序列分析关键技术研究
17.
Research and Analysis on Program Characteristics of Multimedia Applications and Improvement of Architecture;
面向多媒体应用的程序特征分析与系统优化技术研究
18.
Analysis of Business Object Assosiation and Code Generation Technique Based on MDA;
基于MDA的业务对象关联关系分析及其程序生成技术