已为您找到该学者13条结果 成果回收站
【期刊论文】Traceable X-Machines As Models for Descrbing User Interfaces
段振华, Mike Holcombe, Zhenhua Duan
,-0001,():
-1年11月30日
In this paper the model of Traceable X-Machine is introdnced and methods to describe mean aspects of nser interfaces of intograted software engineering eaviromments are snggested.
-
67浏览
-
0点赞
-
0收藏
-
0分享
-
49下载
-
0
-
引用
段振华, 郝克刚
计算机学报,1989,7:481~493,-0001,():
-1年11月30日
本文引入控制布图概念和求控制布图算法,旨在实现从数据流图导出结构图的半自动化。这种图表示以所指定的主加工集合为控制源所引起的控制传布关系。它不是结构图,但它是结构图的雏形。只要从数据流图导出这种控制传布图,再由它导出结构图就比较容易了。
-
69浏览
-
0点赞
-
0收藏
-
0分享
-
103下载
-
0
-
引用
段振华, 郝克刚, 李新
计算机学报,1990,5:340~347,-0001,():
-1年11月30日
为了描述集成化软件工程环境用户接口中选单的控制机构,需要引入回溯自动机的概念。本文给出了回溯自动机概念怕严格数学定义,并讨论了它与有穷自动机、确定的下推自动机等之间的关系,证明了它所接受的语言类处于正则语言类与确定的上下文无关语言类之间。
-
83浏览
-
0点赞
-
0收藏
-
0分享
-
76下载
-
0
-
引用
-
74浏览
-
0点赞
-
0收藏
-
0分享
-
62下载
-
0
-
引用
段振华, 郝克刚
计算机学报,1990,1:75~80,-0001,():
-1年11月30日
控制传布图是介于数据流图和结构图之间的图形工具,是实现从数据流图到结构图转换的中间产物。本文详细讨论了如何控制传布图转换为结构图,给出了转换算法,从而,该算法与文[J]所提出的控制传布图算法一起完成了数据流图到初始结构图的半自动转换。
-
82浏览
-
0点赞
-
0收藏
-
0分享
-
55下载
-
0
-
引用