《软件设计研究》

第一篇软件设计方法3

从古代东西方两种数学思想体系看当代软件开发方法中的两派之争3

逐步过渡的软件开发方法（STD）及相应的支持环境9

软件开发的分层结构设计方法（HSD）19

面向对象的设计中的对象社会和复杂对象31

谈谈人工智能与软件工程的关系42

第二篇软件设计的工具与环境49

软件分析与设计的支持环境49

一个实用的软件分析与设计支持环境——DSE65

对象管理系统及其对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