1.
Formal Analysis and Verification for Component-based Embedded Software Designs;
构件化嵌入式软件设计的分析与验证
2.
Embedded Software Design Based on DeviceNet Protocol;
基于DeviceNet协议的嵌入式软件设计
3.
Portable Embedded Software Design Based on MIPS Architecture;
基于MIPS架构的可移植嵌入式软件设计
4.
Research and Application of Design Patterns in Embedded Application Software;
设计模式在嵌入式软件设计中的研究与应用
5.
Formal Analysis and Verification of Energy Properties for Component-based Embedded Software Designs
构件化嵌入式软件设计的能耗性质分析与验证
6.
Design and Implementation of Embedded Software on the ATSC High-Definition Digital Television;
ATSC制式高清数字电视嵌入式软件设计与实现
7.
Exploration and Practice for Training Design on Embedded Software System;
《嵌入式软件设计》人才培养模式的探索与实践
8.
Embeded Software Design Research Based on Embeded Operation System μC/OS-Ⅱ;
基于嵌入式操作系统μC/OS-Ⅱ的嵌入式软件设计研究
9.
Hardware/Software Co-Design Research for Embedded Systems
嵌入式系统的硬/软件协同设计研究
10.
The Design and Certification of Software Reliability of Embedded Manage-Control Software;
嵌入式管控软件的可靠性设计与验证
11.
The Design of Embedded Linux Inspecting System Software Platform;
嵌入式Linux监控系统软件平台设计
12.
The Embedded Control System Software Design Based on Linux;
基于Linux的嵌入式控制系统软件设计
13.
The Software Platform Design of Embedded Linux-based Workstation;
基于Linux的嵌入式系统软件平台设计
14.
The Study and Application of Embedded Software Design;
嵌入式系统软件设计方法研究及应用
15.
Embedded Electronic Chart Navigation Systems-Software Design;
嵌入式电子海图导航系统—软件设计
16.
The new design method of embedded systemic soft-hardware system;
嵌入式系统的软硬件系统设计新方法
17.
Research and Design on Hardware and Software of Embedded HMI
嵌入式人机界面软硬件的研究与设计
18.
The Design and Transplant of Spectrum Analysis Software for Embedded Linux
嵌入式linux谱分析软件的设计与移植