Statechart规格语言的语法分析研究

Ｓｔａｔｅｃｈａｒｔ是一种用以规约复杂反应式系统行为的可视化语言。它在一些方面上扩展了典型的状态转移图，保留甚至发挥了可视化要求。实际上， Ｓｔａｔｅｃｈａｒｔ 满足层次的描述，包括高层和低层事件，更显著地是采用广播通信机制产生连锁反应而引起多层并发。通过对 Ｓｔａｔｅｃｈａｒｔ语言进行了分析研究后给出了其形式化文法表示。在此基础上，讨论了 Ｓｔａｔｅｃｈａｒｔ规格语言语法正确性分析的问题。

嵌入式实时数据库系统及其相关问题

嵌入式实时数据库系统（ＥＲＴＤＢＳ）的特性、与传统数据库系统的区别，并对今后值得重视和研究的问题进行了探讨。

控制系统软件的方法论设计

现代计算机技术、ＶＬＳＩ技术的发展为复杂、高级控制系统的实现提供了良好的机遇，而这一机遇却被该类系统设计过程中所遇到的困难所平衡。控制系统软件的设计与开发则是所要克服的主要困难之一。从软件工程角度提出了控制系统软件的方法论设计思想，并对有关问题进行了讨论。

Statechart规格环境项目管理模型设计与实现

Ｓｔａｔｅｃｈａｒｔ是一种用于反应式实时系统的行为建模语言。针对 Ｓｔａｔｅｃｈａｒｔ行为建模的需要，设计并已部分实现基于 Ｓｔａｔｅｃｈａｒｔ的行为规格模型创建工具。该工具将为反应式实时系统的开发分析人员提供极大的方便。

数据结构的课程改革

对数据结构课程建设进行前期研究，是根据多年来向本科生讲授该课程的教学经验，所提出的数据结构课程改革应该从两方面着手，一是进行启发式教学，二是把结构化程序设计方式的算法描述为采用面向对象范型，这两个方面都是当前改革的最迫切的内容。

StateCharts规格创建工具的面向对象设计和实现

将ＳｔａｔｅＣｈａｒｔｓ规格语言和面向对象的软件开发技术两者结合起来，以面向对象的思想作为设计和实现策略，对ＳｔａｔｅＣｈａｒｔｓ规格工具的设计和实现进行了研究，并且对已经完成的部分作出了总结性论述，具体地给出系统的类层次结构图。

实时对象模型及其可预测调度研究

从实时系统建模的角度，文中给出了一种实时对象模型，该模型能够保证开发的实时系统具有可预测性、灵活性、集成性的特点．文中同时给出了分析对象能力的计算公式，并对实时对象模型行为的可预测性调度进行了讨论．

一个嵌入式软件开发环境的分析和设计研究

嵌入式软件开发环境ＡｂｓｔｒａＳｙｓ的研制是一个规模大、技术复杂的项目，其中的体系结构和组件的关系十分错综复杂。为此，本文首先提出一种易于操作的软件开发过程模式，然后通过对嵌入式环境中的主要工具的分析和设计，理顺各工具的主要需求，给出可行的实现方案。

曲线轮廓汉字自动生成技术研究

曲线轮廓汉字造字工具已很多，但对于特定字体，特别是美术字体的自动生成技术却远未成熟。国内８６３计划中该领域的研究工作只在字体的衍生方面进展较为明显，普遍性的自动转换技术还处于开发中状态。因此，提出用目标字的一个特征完备的样本字集，再通过选择构架相似的源字体来作为构件信息来源，自动生成目标字体的方法及实现原理。根据源字体种类日益增多的特点，结合所给出的演进迭代式的变换风范。

STATEMATE系统设计思想的剖析

ＳＴＡＴＥＭＡＴＥ系统是一个颇有国际影响的软件开发环境，它是专门针对大型、复杂的Ｒｅａｃｔｉｖｅ系统开发的。作者对该系统作了深入剖析，并对其思想实质和设计哲学进行了论述；指出其主要特色是形式可视主义和可执行规约，它既面向人，又面向机器。在此基础上提出了开发环境要注意设计合理的人机功能分配和提高源码压缩比的思想，最后提出了实现我国自己的大型Ｒｅａｃｔｉｖｅ系统的策略。