程序结构

作品数：459被引量：885H指数：13
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：伍湘君黄丽萍王世玉徐国强孙健更多>>
相关机构：上海交通大学南京大学浙江大学华南理工大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家科技重大专项更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于通道的螺旋型布图算法研究与实现被引量：2
《计算机科学》2002年第8期126-127,105,共3页周俊 孙昌爱 金茂忠 
国家九五重点攻关项目(98-760-01-02)
1引言 类图是反映面向对象程序结构的重要视图,它由类及类与类之问的关系(包括继承、关联和聚集)构成.在面向对象程序理解与测试中,通过对源程序进行静态分析可以获取类以及类之问的关系.
关键词：螺旋型布图算法 有向图 类图 面向对象 程序结构 程序理解 程序测试 软件工程 
精化演算支撑工具PRT的研究
《计算机科学》2000年第3期47-50,46,共5页杨朝晖 王云峰 郑国梁 
国家自然科学基金;国家"九五"攻关项目基金
1 引言精化演算是一种数学表示法和若干规则的集合,用于从程序规约推导出命令式程序。精化是从抽象程序向具体程序转换的过程,其中包含程序的正确性证明。精化的程序开发方法比对已有程序进行验证以保证程序正确性的方法更有效。通过精...
关键词：程序正确性 精化演算支撑工具 PRT 程序结构 
面向问题的系统化程序设计方法及其描述工具被引量：4
《计算机科学》1995年第5期54-57,13,共5页何明昕 
一、引言 回顾以程序设计为核心的计算科学的研究、实践和教学,虽然有越来越多的人参与和林林总总的成果发表,而“程序设计危机”并没有得到根本的改善,为此,W.J,Dijistra重指出“
关键词：程序设计 程序描述工具 程序语言 程序结构 
我们从Simula走了多远?
《计算机科学》1992年第3期14-17,共4页王志坚 翟成祥 
当今面向对象语言的基本设计思想是源于 Simula 语言的。本文详细介绍了 Simula 语言的面向对象成分,并且与目前典型的面向对象语言作了比较,考察面向对象基本概念和相关技术的演变。希望以此能正确认识面向对象语言发展的现状,明确今...
关键词：面向对象语言 SMALLTALK 程序实例 程序结构 递归调用 Simula 执行状态 分别编译 多重继承 信息隐蔽 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部