软件学报期刊
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 梅宏 郝丹 金芝
    刊名: 软件学报
    发表期刊: 2019年1期
    页码:  1-2
    摘要:
  • 作者: 余萍 刘譞哲 卜磊 张天 李宣东 谢冰 马晓星
    刊名: 软件学报
    发表期刊: 2019年1期
    页码:  3-21
    摘要: 软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构...
  • 作者: 丁博 任怡 毛晓光 沈洁 王怀民 罗磊
    刊名: 软件学报
    发表期刊: 2019年1期
    页码:  22-32
    摘要: 系统软件是计算学科的基本概念之一,从系统软件的本质特征、时代特点和发展趋势这3个方面给出了关于系统软件的新洞察,洞察1认为,通用图灵机和存储程序思想是系统软件的理论源头和技术源头,其本质特征...
  • 作者: 冯新宇 刘志明 王戟 詹乃军
    刊名: 软件学报
    发表期刊: 2019年1期
    页码:  33-61
    摘要: 形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多...
  • 作者: 张贺 王青 荣国平 邵栋
    刊名: 软件学报
    发表期刊: 2019年1期
    页码:  62-79
    摘要: 工程化软件开发需要对软件开发整个过程进行有效的组织和管理,由此产生了一系列软件开发组织和管理方法,其主要目的是形成一种载体,用以积累和传递关于软件开发的经验教训.然而,由于软件开发的一些天然...
  • 作者: 张健 张超 李炼 梁彬 熊英飞 玄跻峰 王千祥 窦文生 蔡彦 陈振邦 陈立前
    刊名: 软件学报
    发表期刊: 2019年1期
    页码:  80-109
    摘要: 在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动...
  • 作者: 刘芳 李戈 金芝
    刊名: 软件学报
    发表期刊: 2019年1期
    页码:  110-126
    摘要: 程序理解是软件工程中的关键活动,在软件开发、维护、重用等任务中发挥着重要的作用.程序理解自软件工程出现以来,就一直是该领域的研究热点.随着软件应用的日益复杂和不断普及,程序理解研究的需求发生...
  • 作者: 卢卫 张峰 杜小勇
    刊名: 软件学报
    发表期刊: 2019年1期
    页码:  127-141
    摘要: 大数据管理技术正在经历以软件为中心到以数据为中心的计算平台的变迁,传统的关系型数据库管理系统无法满足现在以数据为中心的大数据管理的需求,设计新型大数据管理系统迫在眉睫.首先回顾了数据管理技术...
  • 作者: 信俊昌 张志强 李国徽 王国仁 高云君
    刊名: 软件学报
    发表期刊: 2019年1期
    页码:  142-163
    摘要: 数据库是数据管理的技术,是计算机学科的重要分支.经过近半个世纪的发展,数据库技术形成了坚实的理论基础、成熟的商业产品和广泛的应用领域.数据模型描述了数据库中数据的存储方式和操作方式.从数据组...
  • 作者: 崔斌 张东祥 童咏昕 许建秋 邹磊 高军
    刊名: 软件学报
    发表期刊: 2019年1期
    页码:  164-193
    摘要: 随着各类新型计算技术和新兴应用领域的浮现,传统数据库技术面临新的挑战,正在从适用常规应用的单一处理方法逐步转为面向各类特殊应用的多种数据处理方式.分析并展望了新型数据管理系统的研究进展和趋势...

软件学报基本信息

刊名 软件学报 主编 李明树
曾用名
主办单位 中国科学院软件研究所 中国计算机学会  主管单位 中国科学院
出版周期 月刊 语种
chi
ISSN 1000-9825 CN 11-2560/TP
邮编 100190 电子邮箱 jos@iscas.ac.cn
电话 010-62562563 网址 www.jos.org.cn
地址 北京8718信箱

软件学报评价信息

期刊荣誉
1. 百种中国杰出学术刊物

软件学报统计分析

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