《软件设计研究》PDF下载

  • 购买积分:13 如何计算积分?
  • 作  者:郝克刚等著
  • 出 版 社:西安:西北大学出版社
  • 出版年份:1992
  • ISBN:7560403697
  • 页数:364 页
图书介绍:英文题名:Researchesonsoftwaredesign:包括文章29篇。论述了软件设计方法

第一篇 软件设计方法 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