基于Larch/C的组件形式规范匹配

主要阐述了一种组件的形式规范匹配方法，以Larch家族中的Larch／C作为语言工具，详细讨论了组件的功能匹配，最后借助于工具Larch Prover(LP)并通过实例描述了功能匹配的证明过程。     

PE文件格式剖析

主要分析了PE(Portable Executable)文件格式，重点探讨了PE文件中的输入表、输出表以及资源段的格式，还探究了在微软全新的．Net平台上对PE文件的扩展，给出了一些分析PE文件格式的工具。     

软件工程方法的新进展:面向Agent的软件工程

面向Agent的软件工程方法是软件工程领域的一种新方法，与现有的开发方法相比，Agent具有较强能力对复杂软件系统中的活动实体进行高层抽象。分析了面向Agent软件工程方法对复杂软件系统建模的成功之处，并又对面向Agent的高层建模方法和基于面向对象方法的面向Agent的设计方法作了一些研究。     

LL(1)文法句法分析程序自动生成的研究及实现

文中分析了对LL(1)文法采用递归子程序的方法进行句法分析的特点,讨论了递归子程序自动生成的一般规则,最后根据这些规则给出了递归子程序自动生成的算法及其实现.