图书介绍
软件设计研究PDF|Epub|txt|kindle电子书版本网盘下载
- 郝克刚等著 著
- 出版社: 西安:西北大学出版社
- 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
一个实用的软件分析与设计支持环境——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