杂志简介：《计算机科学》杂志经新闻出版总署批准，自1974年创刊，国内刊号为50-1075/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：网络与通信、信息安全、软件与数据库技术、人工智能、图形图像与模式识别
杂志简介：《计算机科学》杂志经新闻出版总署批准，自1974年创刊，国内刊号为50-1075/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：网络与通信、信息安全、软件与数据库技术、人工智能、图形图像与模式识别
作者：陈三川 吴国全 魏峻 黄涛 刊期：2014年第11期
提出了一种基于监控日志挖掘的移动应用用户访问模型自动构造方法,该方法包括监控代码注入和界面访问模型构造两部分。首先,提出了一种监控代码自动注入方法,即通过对移动应用代码的静态分析,自动地在相应位置插入监控代码以支持在运行时动态地监控用户的访问行为。其次,提出了一种基于状态机的移动应用用户访问模型构造方法。访问模型中状态机...
作者：陈德健 孙艳春 黄罡 刊期：2014年第11期
在Web2.0和云计算的影响下,基于浏览器的在线教学平台发展迅速,在远程教学、课堂教学和协作学习等领域都产生了重大影响。然而,当前的教学平台很少关注基于Web图形的同步教学,它对于教学内容形成过程的展示、师生互动等十分有意义。在分析当前在线教学的3类主要应用背景的基础上,提出了一种基于Web图形操作记录与回放的在线同步教学方法。该方法...
作者：付焜 钱文亿 彭鑫 赵文耘 刊期：2014年第11期
为了完成各种软件维护任务,如纠正错误、改进原有功能、添加新功能,开发人员经常需要确定需求特征与代码的对应关系。这种确定源代码中与给定需求特征相关的程序元素的过程称为特征定位。现有的特征定位方法主要根据用户提出的需求,在源代码中搜索相关的代码元素推荐给用户。然而这些零散的元素之间不具备任何关联,用户仍然需要人工地挖掘元素间...
作者：江磊 许畅 陈小康 刊期：2014年第11期
近年来,随着智能设备的普及和传感技术的发展,上下文感知程序的应用越来越广泛。但是由于环境噪声难以预测和控制,程序所获得的上下文经常存在一致性错误。处理这类错误的方法很多,但大都忽视了两方面的问题：1）不同一致性约束之间存在相互干扰;2）处理这类错误的操作本身可能对程序的正常运行造成负面影响。以处理这两方面的问题为目标,提出了...
作者：梁力图 陆璐 刊期：2014年第11期
近年来,Web应用成为互联网时代基础设施中最重要的组成部分。随着互联网技术的不断进步以及使用用户数量的不断增长,Web应用也越发变得复杂。为了保证Web应用性能测试的有效性和真实性,提出一种利用服务器日志中的用户会话信息、结合经过序列匹配算法改进的层次凝聚算法来自动产生Web应用性能测试脚本的方法。提出的方法通过从服务器日志中提取...
作者：许涵斌 张学林 郑晓梅 张天 李宣东 刊期：2014年第11期
随着模型驱动技术的逐渐成熟和广泛应用,大量反映程序结构、行为以及性质的模型产生于软件的开发过程中,并成为软件文档的重要部分保存下来。其中,尤以UML模型的应用最为广泛,也因此形成了通过理解UML模型来理解大规模、高复杂性软件系统的研究思路。对UML模型理解的一个难点是如何有效地从大量复杂的模型中,快速查找并定位具有一定结构特征的模...
作者：朱锐 李彤 莫启 张璇 王一荃 林雷蕾 代飞 刊期：2014年第11期
近年来,随着对PSEE认识的深入,人们逐渐发现实际观察到的过程执行往往和实施的过程模型之间存在一定的偏离（deviation）,从而导致PSEE对于实际软件开发活动失去了指导意义。针对软件过程偏离问题,以软件演化过程元模型（EPMM）为基础,在软件过程偏离发现方面,借鉴进程代数的弱互模拟思想,提出过程行为空间表达式,用以构造软件过程的行为空间来...
作者：张栋栋 徐锋 刊期：2014年第11期
随着互联网和智能手机的日益普及,移动应用数量呈现爆炸式增长,海量的移动应用既是机遇也是挑战。从开发者角度看,基于大量的已有移动应用快捷构造新的移动应用成为了可能,但当前大部分的开发工具对移动应用集成的支持仅停留在应用编程接口和底层运行机制上,尚未出现更高层次的面向执行流程的集成支持;从用户角度看,从众多移动应用中选择符合自...
作者：庄希威 孙艳春 黄罡 刊期：2014年第11期
在Web 2.0时代,富客户端应用越来越流行。混搭（mashup）可以将两种或两种以上的互联网资源整合成具有良好用户体验的新型应用。利用mashup现有技术,可以实现同一个富客户端上不同富客户端应用之间的信息传递。不过,mashup对于不同富客户端间的富客户端应用的信息传递仍然无能为力,因此一般情况下,用户无法获得他人经验或集体智慧的帮助而更好地...
作者：方译萌 马郓 刘譞哲 黄罡 刊期：2014年第11期
随着移动互联网的快速发展,人们可以通过包括智能手机和平板电脑在内的移动计算设备来访问和使用Web应用。然而,目前已有的Web应用大多是针对PC设计的,因此通过移动计算设备直接访问时,可能出现信息显示不全、界面布局混乱、用户体验变差、需要耗费较多流量等问题。重新开发符合移动设备特性的Web应用是一种最直接的解决方案,但是开发成本和代价...
作者：丛新宇 虞慧群 刊期：2014年第11期
物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性。物联网的建模和验证是物联网研究中一个重要的领域。文中提出一种基于实...
作者：钱立宾 刘念唐 胡雨田 鲁丹 邵堃 刊期：2014年第11期
现有企业信息化规划方法的研究都集中于抽象的企业目标与具体的信息系统目标的匹配及转换过程,缺乏对抽象企业目标的形式化描述和深层次的分析。基于KAOS分析方法,提出一种基于领域内KAOS分析的企业目标规划方法,即通过对企业领域内的抽象企业目标、目标之间关系以及目标不一致性分析,获取更加完善、清晰一致的企业目标,建立起符合现代企业领域...
作者：王茂光 曹怀虎 刊期：2014年第11期
网构软件是网络开放、动态和多变环境下软件系统基本形态的一种抽象,其演化性要求软件能根据应用需求和运行环境变化而动态演化。引入了软件需求工程中场景的概念,但不同的是不把场景作为一种静态的记录来使用,而是把场景作为一种动态记录来描述软件的动态演化特征。给出了场景的形式化定义及其互补、等价、子集等关系描述,提出了基于场景自动机...
作者：张威 刊期：2014年第11期
进程代数是并发理论研究的主流方向,是分析和描述并发与分布式系统的重要工具之一。模拟是进程代数中刻画精化关系的核心概念。共变-逆变模拟派生于通常的模拟关系,它区分动作的类型,直观上,表达了状态的行为数目越多但并不一定越好的事实。然而,该模拟关系忽略了可观测动作与内动作的区别。因此,给出一种弱共变-逆变模拟关系及其相应的公理刻画...
作者：肖芳雄 李燕 张君华 祝义 朱小栋 刊期：2014年第11期
目前Web服务研究中关注的QoS属性较多,且属性值的评估方法随应用领域和组织机构的不同差异较大,这不利于以一致的方式来评估Web服务的QoS。从抽象的角度在众多QoS属性中提炼出时间、概率、代价3种抽象QoS属性,并在此基础上给出了QoS多属性归一化处理方法和多属性综合评估方法,以支持在模型层面以一致的方式评估Web服务的QoS,以及QoS优化的Web服...
影响因子：0.65
期刊级别：北大期刊
发行周期：旬刊
影响因子：0.51
期刊级别：北大期刊
发行周期：月刊
影响因子：0.73
期刊级别：统计源期刊
发行周期：半月刊
影响因子：0.53
期刊级别：省级期刊
发行周期：旬刊
影响因子：0.91
期刊级别：北大期刊
发行周期：半月刊
影响因子：0.15
期刊级别：省级期刊
发行周期：半月刊
影响因子：--
期刊级别：省级期刊
发行周期：周刊
影响因子：2.11
期刊级别：北大期刊
发行周期：半月刊
影响因子：0.04
期刊级别：省级期刊
发行周期：半月刊
影响因子：3.84
期刊级别：CSSCI南大期刊
发行周期：双月刊
影响因子：--
期刊级别：省级期刊
发行周期：月刊
影响因子：0.16
期刊级别：省级期刊
发行周期：双月刊