计算机学报期刊
出版文献量(篇)
5154
总下载数(次)
49
总被引数(次)
187004

计算机学报

Chinese Journal of Computers

CSCDEIJSTSACSTPCD

影响因子 3.6512
本刊是中国计算机领域的有代表性学术刊物,作为一种科学研究档案,代表了计算机领域各个研究阶段的水平。 本刊被《工程索引》(美国)、《科学文摘》(英国)、《数学文摘》(美国)、《科技文献速报》(日本)、《文摘杂志》(俄罗斯)等多种权威系统收录。是科技部科技信息研究所科技论文统计源期刊、中国科学引文数据库来源期刊。
主办单位:
中国计算机学会 中国科学院计算技术研究所
期刊荣誉:
中国科学引文数据库来源期刊  科技论文统计源期刊 
ISSN:
0254-4164
CN:
11-1826/TP
出版周期:
月刊
邮编:
100190
地址:
中国科学院计算技术研究所(北京2704信箱)
出版文献量(篇)
5154
总下载数(次)
49
总被引数(次)
187004
文章浏览
目录
  • 作者: 梅宏 王戟
    刊名: 计算机学报
    发表期刊: 2009年9期
    页码:  1695-1696
    摘要:
  • 作者: 张路 梅宏 王千祥 王戟
    刊名: 计算机学报
    发表期刊: 2009年9期
    页码:  1697-1710
    摘要: 软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在...
  • 作者: 李德毅 陈桂生 韩言妮
    刊名: 计算机学报
    发表期刊: 2009年9期
    页码:  1711-1721
    摘要: 随着软件与网络的融合,以网络为基础的软件系统在规模、用户数量、组成单元的交互关系方面都成数量级的增长,成为一类重要的复杂系统,超出了开发人员的理解和控制.文中首先分析软件工程40年来软件开发...
  • 作者: 于洪涛 张兆庆
    刊名: 计算机学报
    发表期刊: 2009年9期
    页码:  1722-1735
    摘要: 指针分析是静态程序分析的基础,指针分析的精度直接影响后续的程序分析和优化.域敏感性用来描述指针分析是否需要区分结构体对象的不同域成员.文中提出一种激进的基于合并的域敏感指针分析方法,利用目标...
  • 作者: 丁佐华 刘静 江明月
    刊名: 计算机学报
    发表期刊: 2009年9期
    页码:  1736-1749
    摘要: 用静态分析方法对并发程序进行死锁检测通常比较困难,其原因是会遇到状态空间爆炸问题.文中针对作者曾提出的一种可有效避免状态爆炸问题的死锁检测方法,进行进一步实验验证.该方法的基本框架是首先将表...
  • 作者: 严俊 张健 阮辉
    刊名: 计算机学报
    发表期刊: 2009年9期
    页码:  1750-1758
    摘要: 提出了一种自动检测C语言程序中是否含有死循环的方法.该方法基于程序分析技术,包括循环展开和路径可行性分析技术.该方法首先通过遍历控制流图生成待查循环的检验路径;之后通过分析检验路径的可行性以...
  • 作者: 李宣东 杨璐 柳溪 王林章 陈鑫
    刊名: 计算机学报
    发表期刊: 2009年9期
    页码:  1759-1772
    摘要: 采用UML顺序图构成基于场景的规约、WS-BPEL作为Web服务的描述语言,提出了一种面向基于场景规约对Web服务消息流进行分析与验证的方法:首先,对WS-BPEL消息流进行分析并将其自动抽...
  • 作者: 叶俊 徐建军 李暾 谭庆平
    刊名: 计算机学报
    发表期刊: 2009年9期
    页码:  1773-1781
    摘要: 方面化特征模块(AFM)是最新提出的软件产品线(SPL)编程范式,能解决现有SPL编程范式存在的问题,但由于AFM范式同时存在模块的并发组合和顺序组合,现有的组合验证技术和模块化模型检验技术...
  • 作者: 倪友聪 应时 张琳琳 文静 赵楷
    刊名: 计算机学报
    发表期刊: 2009年9期
    页码:  1782-1791
    摘要: 在体系结构的设计、演化和重用过程中涉及众多的关注点,而且它们之间存在着复杂的关系,然而目前还缺乏有效的对这些关注点及其关系进行描述和分析的方法.针对这一问题,在系统收集并显式标识各种体系结构...
  • 作者: 徐宝文 陈林
    刊名: 计算机学报
    发表期刊: 2009年9期
    页码:  1792-1803
    摘要: 使用泛型概念对领域知识进行抽象是泛型程序设计方法的基础.在新的C++0x标准中泛型概念将成为一个新的语言设施,这将为设计可复用、可扩展的泛型软件提供坚实的基础.为了更好地利用C++0x的新特...
  • 作者: 怀进鹏 曾晋 李翔 高鹏
    刊名: 计算机学报
    发表期刊: 2009年9期
    页码:  1804-1815
    摘要: SOA是一种新型企业应用架构,为复用存在于Internet上的软件资源提供了一个最佳实践.面对目前可用的服务资源匮乏,同时大量企业信息系统需要借助服务计算技术重组优化的现状,从遗留系统中切分...
  • 作者: 吕建 宋巍 马晓星
    刊名: 计算机学报
    发表期刊: 2009年9期
    页码:  1816-1831
    摘要: 组合网络上既有Web服务以构造新的增值服务正逐渐成为一种主流软件形态.而Web服务组合常需进行修改演化以优化服务组合的内部业务流程,适应开放的工作环境.在服务组合演化时,为让尽可能多的执行中...
  • 作者: 彭鑫 许佳卿 赵文耘
    刊名: 计算机学报
    发表期刊: 2009年9期
    页码:  1832-1844
    摘要: 软件系统的演化分析是程序分析和程序理解的一个重要方面.通过演化分析可以了解系统需求和设计的演化趋势,从而更好地理解系统的需求和设计决策.文中在前期工作所提出的基于模糊概念格的程序分析方法基础...
  • 作者: 凤旺森 李佳静 王铁磊 邹维 韦韬
    刊名: 计算机学报
    发表期刊: 2009年9期
    页码:  1845-1855
    摘要: 提出了一种解决静态污点分析方法在进行路径敏感的分析时面临的路径爆炸的问题的方法.该方法将污圹点分析问题转化为加权下推自动机的广义下推后继问题,进一步利用污点数据在程序中的可达性,减少后续分析...
  • 作者: 刘磊 张晶 李泽鹏 金英
    刊名: 计算机学报
    发表期刊: 2009年9期
    页码:  1856-1868
    摘要: 多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为其安全相关行为模型的抽...
  • 作者: 任磊 廖海艳 沈艳 罗刚 郭兵
    刊名: 计算机学报
    发表期刊: 2009年9期
    页码:  1869-1875
    摘要: 嵌入式系统的功耗优化可以在硬件和软件的多个层次进行,随着微电子技术的不断发展,各种底层先进硬件功耗优化技术的出现和应用,使得高层软件方面的功耗管理和优化技术逐步成为控制计算机系统功耗的重要手...
  • 作者: 吴晓 张滕滕 李长德 董云卫
    刊名: 计算机学报
    发表期刊: 2009年9期
    页码:  1876-1883
    摘要: 随着嵌入式系统的发展,构件化软件开发技术已成为嵌入式软件开发的发展趋势.嵌入式系统通常是能源有限系统,如何在构件化嵌入式系统开发前期对其能耗进行分析与评估,发现系统能耗特性设计缺陷,从而提高...
  • 作者:
    刊名: 计算机学报
    发表期刊: 2009年9期
    页码:  1884
    摘要:

计算机学报基本信息

刊名 计算机学报 主编 高文
曾用名
主办单位 中国计算机学会 中国科学院计算技术研究所  主管单位 中国科学院 中国科协
出版周期 月刊 语种
chi
ISSN 0254-4164 CN 11-1826/TP
邮编 100190 电子邮箱 cjc@ict.ac.cn
电话 010-62620695 网址 cjc.ict.ac.cn
地址 中国科学院计算技术研究所(北京2704信箱)

计算机学报评价信息

期刊荣誉
1. 中国科学引文数据库来源期刊
2. 科技论文统计源期刊

计算机学报统计分析

被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊