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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 史忠植 常亮 牛温佳 陈立民
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  1-13
    摘要: 作为描述逻辑的扩展,动态描述逻辑为语义Web服务的建模和推理提供了一种有效途径.在将语义Web服务建模为动作之后,动态描述逻辑从动作执行结果的角度提供了丰富的推理机制,但对于动作的执行过程却...
  • 作者: 余航 公茂果 杨咚咚 焦李成
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  14-33
    摘要: 目标维数较高的多目标优化问题的难题在于非支配解急剧增加,经典算法由于缺乏足够的选择压力导致性能急剧下降.提出了基于偏好等级的免疫记忆克隆选择优化算法,用于解决目标维数较高的多目标优化问题.利...
  • 作者:
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  33
    摘要:
  • 作者: 虞蕾 陈火旺
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  34-46
    摘要: PSL(property specification language)是一种用于描述并行系统的属性规约语言,包括线性时序逻辑FL(foundation language)和分支时序逻辑OB...
  • 作者: 朱朝晖 肖文洁
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  47-54
    摘要: 经典的AGM信念修正理论和以D-P假设为代表的迭代信念修正理论都是以完全指派为可能世界而进行的理论研究.把这些研究推广到有缺指派的领域中与完全指派为每个原子命题符号都指派真假值不同,有缺指派...
  • 作者: 庄毅 胡华 胡海洋 赵格华
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  55-67
    摘要: 提出一种网格环境下基于流水线技术的分布式多重相似查询的优化算法(pipeline-based distributed similarity query processing,简称pGMSQ)...
  • 作者: 冯玉琳 刘国梁 魏峻
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  68-83
    摘要: 组件容器为组件提供部署和运行环境,是基于组件分布式应用开发的核心.近年来分布式组件的多样化和快速演化对组件容器的开发方法提出了挑战.产品线工程是基于公共的核心资产开发特定领域内软件产品系列的...
  • 作者: 张伟 梅宏 赵海燕 闫华
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  84-97
    摘要: 特征模型是领域分析活动产生的具有复用价值的软件需求模型.对特征模型的复用通常采用定制的方式.特征模型定制中的一个重要问题是验证问题.该问题的存在是因为特征之间往往具有一定的约束关系,而一个合...
  • 作者: 周洲仪 梁洪亮 贺也平
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  98-106
    摘要: 商业应用需要实施完整性策略保护.Biba模型提供了一种简洁的多级完整性控制方案,但是需要引入可信主体来保证实施的可用性.而Clark-Wilson模型通过可监控的状态转换提供了一种完备的完整...
  • 作者: 尤志强 易叶青 李小龙 林亚平 羊四清
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  107-118
    摘要: 提出一种基于协作水印的数据认证算法来识别虚假数据和重复包,算法在每个数据包中嵌入两类水印:一类是鲁棒性水印,用于对发送者的身份和数据的新鲜性进行认证;另一类是由t个证人节点协作生成、嵌入的半...
  • 作者: 彭伟 胡乔林 苏金树 赵宝康
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  119-132
    摘要: 作为一种新型的体系结构,容延容断网络(delay/disruption tolerant network,简称DTN)近年来得到了广泛的研究与应用.由于其面临的应用环境极为特殊,传统网络的路...
  • 作者:
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  132
    摘要:
  • 作者: 赵洪华 陈鸣
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  133-146
    摘要: 网络层析成像是近年来新兴的一种网络测量技术,该技术结合了网络测量和统计推断,可以解决网络测量的部分难题.网络拓扑推断是网络层析成像技术的重要应用之一,基于网络层析成像技术的拓扑推断通过端到端...
  • 作者: 张宏科 徐怀松 郜帅
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  147-162
    摘要: 在sink移动轨迹固定的传感器网络中,由于sink点有限的通信时间和节点的随机分布,使得很难兼顾数据采集量的提高和整体能耗的降低.为了解决该问题,提出了一种最大数据量最短路径(maximum...
  • 作者: 李小勇 桂小林
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  163-176
    摘要: 开放系统中的信任关系本质上是最复杂的社会关系之一,涉及到假设、期望、行为和环境等多种因子,很难准确地定量表示和预测.结合人类社会的认知行为,提出了一种符合人类心理认知习惯的动态信任预测模型:...
  • 作者: 徐洁 王怀民
    刊名: 软件学报
    发表期刊: 2010年2期
    页码:  177-178
    摘要:
  • 作者: 卢凯 卢锡城 张英 李根
    刊名: 软件学报
    发表期刊: 2010年2期
    页码:  179-193
    摘要: 面向高可信软件提出了一种二进制级高危整数溢出错误的全自动测试方法(dynamic automatic integer-overflow detection and testing,简称DAI...
  • 作者: 张文博 王伟 钟华 魏峻 黄涛
    刊名: 软件学报
    发表期刊: 2010年2期
    页码:  194-208
    摘要: 提出一种资源敏感的性能诊断方法.对于Web应用事务,该方法利用资源服务时间对于不同负载特征相对稳定的特点建立性能特征链,并依据运行时资源服务时间异常实现性能异常的有效检测、定位和诊断.实验结...
  • 作者: 宫云战 杨朝红 王雅文 肖庆 金大海
    刊名: 软件学报
    发表期刊: 2010年2期
    页码:  209-217
    摘要: 提出一种多项式复杂度的路径敏感静态缺陷检测算法.该方法采用变量的抽象取值范围来表示属性状态条件,通过属性状态条件中的变量抽象取值范围为空来判断不可达路径.在控制流图(control flow...
  • 作者: 吴智博 左德承 张展 慈轶为 杨孝宗
    刊名: 软件学报
    发表期刊: 2010年2期
    页码:  218-230
    摘要: 提出了一种多周期检查点设置方法.它允许各个进程采用不同周期进行检查点设置.为了保证一致全局检查点的向前推进,检查点周期可以根据一个-模式进行调整.在所提出的方法中,进程可以进行组划分处理,从...
  • 作者: 刘冬梅 范贵生 虞慧群 陈丽琼
    刊名: 软件学报
    发表期刊: 2010年2期
    页码:  231-247
    摘要: 通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故...
  • 作者: 史忠植 杨鲲 王竹晓
    刊名: 软件学报
    发表期刊: 2010年2期
    页码:  248-260
    摘要: 提出了一种应用动态描述逻辑对被诊断系统进行分析的方法.动态描述逻辑的语法和语义非常适宜刻画系统的正常行为和异常行为.给出了算法使用动态描述逻辑的可满足性检测来测试离散事件系统的可诊断性.同时...
  • 作者: 刘旭东 孙海龙 怀进鹏 曾晋 邓婷
    刊名: 软件学报
    发表期刊: 2010年2期
    页码:  261-276
    摘要: 以基于服务组合的可信软件为研究对象,重点研究通过组合服务的动态演化机制保障网络化软件的可信性.首先,提出了一个合理性保持的演化操作集,避免复杂的验证过程,使得演化后的组合服务保持结构合理性;...
  • 作者: 张胜 钱柱中 陆桑璐
    刊名: 软件学报
    发表期刊: 2010年2期
    页码:  277-286
    摘要: 针对普适环境中可靠的多媒体传输问题,提出了LD/RPath(lowest delay/reliability path)算法.LD/RPath算法通过合理的数据量近似来拟合服务节点和传输边上...
  • 作者: 何啸 柳毅 邵维忠 麻志毅
    刊名: 软件学报
    发表期刊: 2010年2期
    页码:  287-304
    摘要: 以构件化的软件开发方法为背景,提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法.该方法基于构件化的软件体系结构,从UML的用况图、顺序图、活动图和构件图出发,对其进行扩展...
  • 作者: 任恺 张素琴 王生原 董渊
    刊名: 软件学报
    发表期刊: 2010年2期
    页码:  305-317
    摘要: 提出一种虚拟机构造和验证方案.给出字节码程序运行环境BVM(bytecode virtual machine)的形式化定义;采用X86机器语言构造虚拟机CertVM(certified vi...
  • 作者: 董威 赵常智 隋平 齐治昌
    刊名: 软件学报
    发表期刊: 2010年2期
    页码:  318-333
    摘要: 介绍了一种基于自动机理论的参数化LTL(parameterized LTL(linear temporal logic),简称PALTL)公式运行时预测监控器构造方法.一方面研究PALTL公...
  • 作者: 华保健 张昱 李兆鹏 梁红瑾 陈意云
    刊名: 软件学报
    发表期刊: 2010年2期
    页码:  334-343
    摘要: 为类C小语言PointerC设计的指针逻辑是Hoare逻辑的一种扩展,可用来对指针程序进行精确的指针分析,以支持指针相等关系确定的程序的安全性验证.通过增加相等关系不确定的指针类型访问路径集...
  • 作者: 冯光升 吕宏武 王慧强 董玺坤 赵倩
    刊名: 软件学报
    发表期刊: 2010年2期
    页码:  344-358
    摘要: 将现有入侵容忍、自毁技术与自律计算相结合,提出了一种基于SM-PEPA(semi-Markov performance evaluation process algebra)的关键任务系统自...
  • 作者: 蔡斯博 谢冰 邵凌霜 邵维忠 邹艳珍
    刊名: 软件学报
    发表期刊: 2010年2期
    页码:  359-372
    摘要: 提出了一种支持软件资源可信评估的框架,并分析了该框架涉及到的技术,如证据收集、证据信任管理和可信评估等.阐述了该框架在北京大学软件资源库中的设计决策和实现方案,并给出一个详尽的实例分析.

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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