第一篇 软件设计方法 3
从古代东西方两种数学思想体系看当代软件开发方法中的两派之争 3
逐步过渡的软件开发方法(STD)及相应的支持环境 9
软件开发的分层结构设计方法(HSD) 19
面向对象的设计中的对象社会和复杂对象 31
谈谈人工智能与软件工程的关系 42
第二篇 软件设计的工具与环境 49
软件分析与设计的支持环境 49
一个实用的软件分析与设计支持环境——DSE 65
对象管理系统及其对Yourdon-DeMarco方法的支持 78
软件工程环境的用户界面管理系统 87
集成化软件工程环境中的工具组装及相应管理机制 100
D-PDL-C:逐步求精的PDL设计方法与设计工具 113
PDL的结构描述语言 149
一个计算机辅助概念设计工具(CACDT) 162
图形文档布局加工的软件工具 169
鼠标文字输入法及其应用 174
第三篇 数据流图到结构图的转换 183
从数据流图导出结构图 183
控制传布图及其算法 198
从控制传播图导出分层结构图 219
加工表达式 230
数据流图到结构图的转换工具(DTST) 241
第四篇 用户接口的模型——回溯自动机 259
软件工程环境用户接口的形式描述与自动生成 259
论回溯自动机 273
回溯自动机的两个基本定理 287
回溯自动机与多步回溯自动机的关系 296
第五篇 软件结构与Petri网 309
程序的多维结构与结构的Petri网 309
Petri网及结构的Petri网 325
多出口Petri网与Petri网的等价性 341
Petri网工具(GPNT)的设计与实现 349
关于高级Petri网系统的等价及谱系的研究 358