提示
恭喜！关注成功
期刊论文已为您找到该学者13条结果 成果回收站
上传时间
2005年10月13日
段振华， 郝克刚， 李新
计算机学报，1990，5：340～347，-0001，（）：
-1年11月30日
为了描述集成化软件工程环境用户接口中选单的控制机构，需要引入回溯自动机的概念。本文给出了回溯自动机概念怕严格数学定义，并讨论了它与有穷自动机、确定的下推自动机等之间的关系，证明了它所接受的语言类处于正则语言类与确定的上下文无关语言类之间。
-
83浏览
-
0点赞
-
0收藏
-
0分享
-
76下载
-
0
-
引用
上传时间
2005年10月13日
段振华， 郝克刚
计算机研究与发展，1991，（7）：12～20，-0001，（）：
-1年11月30日
根据分层结构设计HSD方法和原理[1][2]，我们具体实现了一个数据流图DFD到分层结构图HSC的换工具DTST。它是软件分析与设计支持环境DSE中的工具之一。该工具可以帮助用户在软件开发的概要设计段从数据图半自动地导出分层结构图。导出过程中，还可同时生成模块说明书和字典。此外，用户还可以对所导出的结构图进行交互式的编辑、修改、存储、管量等。
-
186浏览
-
0点赞
-
0收藏
-
0分享
-
81下载
-
0
-
引用
上传时间
2005年10月13日
段振华， 郝克刚
计算机学报，1989，7：481～493，-0001，（）：
-1年11月30日
本文引入控制布图概念和求控制布图算法，旨在实现从数据流图导出结构图的半自动化。这种图表示以所指定的主加工集合为控制源所引起的控制传布关系。它不是结构图，但它是结构图的雏形。只要从数据流图导出这种控制传布图，再由它导出结构图就比较容易了。
-
69浏览
-
0点赞
-
0收藏
-
0分享
-
103下载
-
0
-
引用
上传时间
2005年10月13日
段振华， 郝克刚
计算机学报，1990，1：75～80，-0001，（）：
-1年11月30日
控制传布图是介于数据流图和结构图之间的图形工具，是实现从数据流图到结构图转换的中间产物。本文详细讨论了如何控制传布图转换为结构图，给出了转换算法，从而，该算法与文[J]所提出的控制传布图算法一起完成了数据流图到初始结构图的半自动转换。
-
82浏览
-
0点赞
-
0收藏
-
0分享
-
55下载
-
0
-
引用
上传时间
2005年10月13日
-
74浏览
-
0点赞
-
0收藏
-
0分享
-
62下载
-
0
-
引用
>
