- 作 者：郝克刚等著
- 出 版 社：西安：西北大学出版社
- 出版年份：1992
- ISBN：7560403697
- 标注页数：364 页
- PDF页数：378 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源378 ≥364页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一篇 软件设计方法 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