图书介绍
软件设计研究pdf电子书版本下载
- 郝克刚等著 著
- 出版社: 西安:西北大学出版社
- ISBN:7560403697
- 出版时间:1992
- 标注页数:364页
- 文件大小:43MB
- 文件页数:378页
- 主题词:程序设计(学科: 文集)
PDF下载
下载说明
软件设计研究PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台)。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用!后期资源热门了。安装了迅雷也可以迅雷进行下载!
(文件页数 要大于 标注页数,上中下等多册电子书除外)
注意:本站所有压缩包均有解压码: 点击下载压缩包解压工具
图书目录
第一篇 软件设计方法 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