已为您找到该学者13条结果 成果回收站
段振华, 郝克刚
计算机研究与发展,1991,(7):12~20,-0001,():
-1年11月30日
根据分层结构设计HSD方法和原理[1][2],我们具体实现了一个数据流图DFD到分层结构图HSC的换工具DTST。它是软件分析与设计支持环境DSE中的工具之一。该工具可以帮助用户在软件开发的概要设计段从数据图半自动地导出分层结构图。导出过程中,还可同时生成模块说明书和字典。此外,用户还可以对所导出的结构图进行交互式的编辑、修改、存储、管量等。
-
186浏览
-
0点赞
-
0收藏
-
0分享
-
81下载
-
0
-
引用
段振华, 郝克刚
西北大学学报,1990,20(1):11~18,-0001,():
-1年11月30日
本文详细证明了回潮自动机的两个基本定理,得到下列结论:1)∈ωΣ,ω∈L (M) iff ω=R (G),2)从G中q处删除一个CSq(结点q点留)或者添加一个CSq(q不需添加)后的图G’也是M的接受状态活动图。
自动机, 有穷自动机, 下推自动机, 回潮自动机, 软件工程.,
-
78浏览
-
0点赞
-
0收藏
-
0分享
-
136下载
-
0
-
引用
段振华, 郝克刚
西北大学学报,1989,19(2):34~40,-0001,():
-1年11月30日
为了转换数据流图成为结构图,引入了一种新的图形工具即控制伟播图(CSD)。控制传播图是介于数据流图和结构图之间的图形工具,是实现从数据流图到结构转换的中间产物。本文着重讨论从控制传播图导出分层结构图的基本原则和方法。
数据流图, 结构图, 分层结构图, 控制传播图, 分层结构设计
-
112浏览
-
0点赞
-
0收藏
-
0分享
-
70下载
-
0
-
引用