1.
Formal Analysis and Verification for Component-based Embedded Software Designs;
构件化嵌入式软件设计的分析与验证
2.
Research on Software Reuse on Avionics Software Testing Field
软件复用在航空嵌入式软件测试中的应用研究
3.
Embedded Software Design Based on DeviceNet Protocol;
基于DeviceNet协议的嵌入式软件设计
4.
Research and Application of Unified Modeling Language in the Development of Embedded Software;
UML在嵌入式软件开发中的研究与应用
5.
The Study of Embedded Software Development Platform Based on Windows CE.net;
基于Windows CE.net嵌入式软件开发平台的研究
6.
Portable Embedded Software Design Based on MIPS Architecture;
基于MIPS架构的可移植嵌入式软件设计
7.
Study on the Development Method of Embedded Software Based on Embedded UML;
基于embedded UML的嵌入式软件开发方法研究
8.
Overview of the General Approaches of Testing Embedded Software;
“嵌入式软件结构化测试”的一般原理
9.
Research of Unifying the Frame that the Embedded Software set up;
嵌入式软件建立统一框架方法的研究
10.
Research of Technology for Software Pouring Based on Embedded System;
基于嵌入式系统的软件注入技术研究
11.
Hardware/Software Co-Design Research for Embedded Systems
嵌入式系统的硬/软件协同设计研究
12.
The Design and Certification of Software Reliability of Embedded Manage-Control Software;
嵌入式管控软件的可靠性设计与验证
13.
The Design of Embedded Linux Inspecting System Software Platform;
嵌入式Linux监控系统软件平台设计
14.
The Research of Software Platform of Embedded System Based on ARM;
基于ARM的嵌入式系统软件平台的研究
15.
The Study of Software Platform Technology Based on Embedded Linux;
基于嵌入式Linux软件平台技术的研究
16.
Research of an Embedded Server System Based on uClinux;
基于uClinux的嵌入式服务器软件系统研究
17.
The Embedded Control System Software Design Based on Linux;
基于Linux的嵌入式控制系统软件设计
18.
Research on the Key Technology of the Configuration Software in Embedded Linux;
嵌入式Linux下组态软件关键技术的研究