段振华
- 作品数：11 被引量：8H指数：2
- 供职机构：西北大学信息科学与技术学院计算机科学与技术系更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 数据流图到结构图的转换工具DTST被引量：1
- 1991年
- 根据分层结构设计HSD 方法和原理,我们具体实现了一个数据流图DFD 到分层结构图HSC 的转换工具DTST。它是软件分析与设计支持环境DSE 中的工具之一。该工具可以帮助用户在软件开发的概要设计阶段从数据流图半自动地导出分层结构图。导出过程中,还可同时生成模块说明书和字典。此外,用户还可以对所导出的结构图进行交互式的编辑、修改、存储、管理等。
- 段振华郝克刚
- 回溯自动机的两个基本定理被引量：1
- 1990年
- 本文详细证明了回溯自动机的两个基本定理,得到下列结论:1)ω∈~*,ω∈L(M)iffω=R(G);2)从G中q处删除一个CSg(结点q保留)或者添加一个CSq(q不需添加)后的图G′也是M的接受状态活动图。
- 郝克刚段振华
- 关键词：自动机软件工程
- 回溯自动机与多步回溯自动机的关系被引量：1
- 1990年
- 本文给出确定的回溯自动机DTA 和确定的多步回溯自动机DMTA 所接受的语言类之间的关系L(DTA)L(DMTA).
- 郝克刚段振华
- 关键词：软件设计数学模型
- 从控制传播图导出分层结构图
- 1989年
- 为了转换数据流图成为结构图,引入了一种新的图形工具即控制传播图(CSD)。控制传播图是介于数据流图和结构图之间的图形工具,是实现从数据流图到结构图转换的中间产物。本文着重讨论从控制传播图导出分层结构图的基本原则和方法。
- 段振华郝克刚
- 关键词：数据流图
- 多出口Petri网与Petri网的等价性
- 1989年
- 1.引言 为了便于描述程序的控制结构,文[1,2]引入了多出口Petri网的概念,并指出,在一定意义下,多出口Petri网与一般Petri网是等价的。本文旨在从理论上讨论这两个概念的等价性,并给出严格的证明。
- 郝克刚段振华
- 关键词：PETRI网等价性程序设计
- 控制传布图及其算法被引量：2
- 1989年
- 本文引入控制传布图概念和求控制传布图算法,旨在实现从数据流图导出结构图的半自动化.这种图表示以所指定的主加工集合为控制源所引起的控制传布关系.它不是结构图,但它是结构图的雏形.只要从数据流图导出这种控制传布图,再由它导出结构图就比较容易了.
- 段振华郝克刚
- 关键词：软件开发
- 从数据流图导出结构图
- 1989年
- 本文着重讨论从数据流图导出分层结构图的分层转換算法应该遵守的一般原则,给出了实现转換算法的若干策略和方法。从而把分析阶段的SA方法和设计阶段的HSD方法有机地结合起来。
- 段振华郝克刚
- 关键词：软件工程数据流图
- 软件开发的分层结构设计方法(HSD)
- 1990年
- 本文详细讨论了软件开发的分层结构设计方法(HSD)。该方法保持了传统的结构设计(SD)方法的特点,同时又具有支持抽象、信息隐藏以及逐步求精等软件工程设计原则的功能。西北大学计算机科学系研制的“软件分析与设计支持环境DSE”支持这种设计方法。
- 郝克刚李新段振华
- 关键词：软件开发分层结构
- 控制传布图到结构图的转换算法被引量：1
- 1990年
- 控制传布图是介于数据流图和结构图之间的图形工具,是实现从数据流图到结构图转换的中间产物。本文详细讨论了如何从控制传布图转换为结构图,给出了转换算法,从而,该算法与文[4]所提出的控制传布图算法一起完成了数据流图到初始结构图的半自动转换。
- 段振华郝克刚
- 论回溯自动机被引量：3
- 1990年
- 为了描述集成化软件工程环境用户接口中选单的控制机构,需要引入回溯自动机的概念。本文给出了回溯自动机概念的严格数学定义,并讨论了它与有穷自动机、确定的下推自动机等之间的关系,证明了它所接受的语言类处于正则语言类与确定的上下文无关语言类之间。
- 郝克刚段振华李新
- 关键词：软件工程
