-
武丹凤1,2,于思淼1,张绳昱1,张锐文1(辽宁工程技术大学软件学院;北京科技大学计算机与通信工程学院).基于信任度的合一系统社会任务分配[J].软件学报,2017,第7期
-
胡凯1,张腾1,尚利宏1,杨志斌2,3,Jean-Pierre TALPIN4(软件开发环境国家重点实验室(北京航空航天大学计算机学院);南京航空航天大学计算机学院;Toulouse Institute of Computer Science Research;Institut National de Recherche en Informatique et en Automatique(INRIA)Rennes).面向同步规范的并行代码自动生成[J].软件学报,2017,第7期
-
高晓莉,惠小静,朱乃调(延安大学数学与计算机科学学院).Goguen命题逻辑系统公理化扩张的Γ-k真度理论及性质[J].软件学报,2017,第7期
-
陈博1,2,曹存根1,眭跃飞1(中国科学院计算技术研究所智能信息处理重点实验室;国网山东省电力公司电力科学研究院).贪婪缺省逻辑[J].软件学报,2017,第7期
-
李智勇1,2,黄滔1,2,陈少淼1,2,李仁发1,2(湖南大学信息科学与工程学院;湖南省嵌入式与网络计算重点实验室).约束优化进化算法综述∗[J].软件学报,2017,第6期
-
蔡维德1,郁莲2,王荣1,刘娜1,3,邓恩艳4(软件开发环境国家重点实验室(北京航空航天大学)数字社会与区块链实验室;北京大学软件与微电子学院;沈阳工程学院信息学院;北京天德科技有限公司).基于区块链的应用系统开发方法研究∗[J].软件学报,2017,第6期
-
陈蕾1,2,3,陈松灿1(南京航空航天大学计算机科学与技术学院;江苏省无线传感网高技术研究重点实验室(南京邮电大学);南京邮电大学计算机学院).矩阵补全模型及其算法研究综述∗[J].软件学报,2017,第6期
-
王子勇1,2,王焘1,张文博1,陈宁江3,左春1,4(中国科学院软件研究所;中国科学院大学;广西大学计算机与电子信息学院;中科软科技股份有限公司).一种基于执行轨迹监测的微服务故障诊断方法∗[J].软件学报,2017,第6期
-
王建民(清华大学软件学院).领域大数据应用开发与运行平台技术研究∗[J].软件学报,2017,第6期
-
杨波1,2,3,于茜1,2,张伟4,吴际3,刘超3(北方工业大学计算机学院;大规模流数据集成与分析技术北京市重点实验室;北京航空航天大学计算机学院;中国科学院软件研究所).GitHub开源软件开发过程中影响因素的相关性分析∗[J].软件学报,2017,第6期
-
王浩宇1,郭耀2,3,马子昂2,3,陈向群2,3(智能通信软件与多媒体北京市重点实验室(北京邮电大学计算机学院);高可信软件技术教育部重点实验室(北京大学);北京大学信息科学技术学院软件研究所).大规模移动应用第三方库自动检测和分类方法∗[J].软件学报,2017,第6期
-
何吉元1,孟昭鹏1,陈翔2,王赞1,樊向宇1(天津大学软件学院软件工程系;南通大学计算机科学与技术学院).一种半监督集成跨项目软件缺陷预测方法∗[J].软件学报,2017,第6期
-
黎宣1,2,王千祥1,2,金芝1,2(北京大学信息科学技术学院;高可信软件技术教育部重点实验室(北京大学)).基于增强描述的代码搜索方法∗[J].软件学报,2017,第6期
-
张宇霞,周明辉,张伟,赵海燕,金芝(高可信软件技术教育部重点实验室(北京大学)).OpenStack开源社区中商业组织的参与模式∗[J].软件学报,2017,第6期
-
杨程1,2,范强1,2,王涛1,2,尹刚1,2,王怀民1,2(并行与分布处理国家重点实验室(国防科学技术大学);国防科学技术大学计算机学院).基于多维特征的开源项目个性化推荐方法∗[J].软件学报,2017,第6期
-
周小平1,2,梁循1,赵吉超1,李志宇1,马跃峰1(中国人民大学信息学院;北京建筑大学电气与信息工程学院).面向社会网络融合的关联用户挖掘方法综述∗[J].软件学报,2017,第6期
-
冯钧,张立霞,陆佳民,王冲(河海大学计算机与信息学院).路网环境下的移动对象查询技术研究综述∗[J].软件学报,2017,第6期
-
朱美玲1,2,3,刘晨2,3,王雄斌2,3,韩燕波2,3(天津大学计算机科学与技术学院;大规模流数据集成与分析技术北京市重点实验室(北方工业大学);北方工业大学云计算研究中心).基于车牌识别流数据的车辆伴随模式发现方法∗[J].软件学报,2017,第6期
-
张香玲1,2,陈跃国1,2,马登豪1,2,陈峻1,2,杜小勇1,2(数据工程与知识工程教育部重点实验室(中国人民大学);中国人民大学信息学院).实体搜索综述∗[J].软件学报,2017,第6期
-
徐培兴1,2,陈伟1,吴国全1,2,3,高楚舒1,魏峻1,2,3(中国科学院软件研究所;中国科学院大学;计算机科学国家重点实验室(中国科学院软件研究所)).一种面向软件配置管理制品的层次分类方法∗[J].软件学报,2017,第6期
-
俞一峻1,刘春2(School of Computing and Communications The Open University,Milton Keynes;河南大学计算机与信息工程学院).小模型大数据:一种分析软件行为的代数方法∗[J].软件学报,2017,第6期
-
刘璘1,周明辉2,尹刚3(清华大学软件学院;北京大学信息科学技术学院;国防科学技术大学计算机学院).大数据时代软件工程专题前言[J].软件学报,2017,第6期
-
乔磊1,杨孟飞2,谭彦亮1,蒲戈光3,杨桦1(北京控制工程研究所;中国空间技术研究院;华东师范大学计算机科学与软件工程学院).基于Event-B 的航天器内存管理系统形式化验证[J].软件学报,2017,第5期
-
陈铭松1,鲍勇翔1,孙海英1,缪炜恺1,陈小红1,周庭梁2(上海市高可信重点实验室(华东师范大学);卡斯柯信号有限公司).基于通信的列车控制系统可信构造:形式化方法综述[J].软件学报,2017,第5期
-
张璇1,2,王旭3,李彤1,2,白川1,康燕妮1(云南大学软件学院;云南省软件工程重点实验室(云南大学);云南大学经济学院).软件非功能需求权衡代价[J].软件学报,2017,第5期
-
尚书,甘元科,石刚,王生原,董渊(清华大学计算机科学与技术系).可信编译器L2C 的核心翻译步骤及其设计与实现[J].软件学报,2017,第5期
-
刘涛,王淑灵,詹乃军(计算机科学国家重点实验室(中国科学院软件研究所)).多机器人路径规划的安全性验证[J].软件学报,2017,第5期
|