- 作 者：郝克刚等著
- 出 版 社：西安：西北大学出版社
- 出版年份：1992
- ISBN：7560403697
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
12
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
第一篇 软件设计方法 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