抽象概念结构图到JAVA过程蓝图的平滑过渡及一致性

• 作者: 刘建宾 郝克刚 龚世生
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: Abstract concept structure diagram JAVA process blueprint Programming Validation,Consistency ,Smooth transition
• 年，卷（期）: 2001,（8）
• 所属期刊栏目: 软件工程
• 页码范围: 89-93,104
• 页数: 6页
• 分类号: TP3
• 字数: 7399字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2001.08.020

摘要

Abstract Concept Structure Diagram,an Abstract diagrammatized representation for program process logic ,is a concept algorithm description tool independent of program implementing language. In this paper ,a formal model of Abstract Concept Structure Diagram,its graphical notations,and a smooth transition method from Abstract Concept Structure Diagram to JAVA Process Blueprint and mapping rules are presented. The validation and consistency of concept program and logical program is defined,and related theorems and prove procedures are also presented.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郝克刚	西北大学计算机系	122	1609	23.0	34.0
2	刘建宾	西北大学计算机系	10	32	3.0	4.0
3	龚世生	汕头大学工学院计算机系	4	15	2.0	3.0