期刊的影响因子--文章列表

期刊文章列表
马智¹，乔磊^1,2，杨孟飞³，李少峰^1,4（北京控制工程研究所；计算机科学国家重点实验室(中国科学院软件研究所)；中国空间技术研究院；西安电子科技大学计算机科学与技术学院）.面向SPARC处理器架构的操作系统异常管理验证[J].软件学报,2021,第6期张献，贲可荣，曾杰（海军工程大学电子工程学院）.基于代码自然性的切片粒度缺陷预测方法[J].软件学报,2021,第7期石剑君，计卫星，石峰（北京理工大学计算机学院）.操作系统内核并发错误检测研究进展[J].软件学报,2021,第7期牛长安^1,2，葛季栋^1,2，唐泽^1,2，李传艺^1,2，周宇³，骆斌^1,2（计算机软件新技术国家重点实验室(南京大学)；南京大学软件学院；南京航空航天大学计算机科学与技术学院）.基于指针生成网络的代码注释自动生成模型[J].软件学报,2021,第7期姜淑娟^1,2，张旭^1,2，王荣存^1,2,3，黄颖^1,2，张艳梅^1,2，薛猛^1,2（中国矿业大学矿山数字化教育部工程研究中心；中国矿业大学计算机科学与技术学院；高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学)）.基于路径分析和信息熵的错误定位方法[J].软件学报,2021,第7期王小兵¹，杨潇钰¹，舒新峰²，赵亮¹（西安电子科技大学计算机科学与技术学院；西安邮电大学计算机学院）.面向MSVL的智能合约形式化验证[J].软件学报,2021,第6期王颖^1,2，王冰青^1,2，关永^1,3，李晓娟^1,2，王瑞^1,2（首都师范大学信息工程学院；轻型工业机器人与安全验证北京市重点实验室(首都师范大学)；电子系统可靠性与数理交叉学科国家国际科技合作示范型基地(首都师范大学)）.面向ROS的差分模糊测试方法[J].软件学报,2021,第6期殷康璘，杜庆峰（同济大学软件学院）.基于混沌工程的微服务韧性风险识别和分析[J].软件学报,2021,第5期尤勇¹，汪浩^2,3，任天¹，顾胜晖^2,3，孙佳林¹（美团点评；南京大学软件学院；计算机软件新技术国家重点实验室(南京大学)）.一种监控系统的链路跟踪型日志数据的存储设计[J].软件学报,2021,第5期晋武侠^1,2，钟定洪^1,2，张宇云^1,2，杨名帆²，刘烃²（西安交通大学软件学院；智能网络与网络安全教育部重点实验室(西安交通大学)）.基于多源特征空间的微服务可维护性评估[J].软件学报,2021,第5期贺祥，刘磊，涂志莹，徐晓飞（哈尔滨工业大学计算机科学与技术学院）.多版本共存的微服务系统自适应演化方法[J].软件学报,2021,第5期顾斌¹，于波¹，董晓刚¹，李晓锋¹，钟睿明¹，杨孟飞²（北京控制工程研究所；中国空间技术研究院）.程序智能合成技术研究进展[J].软件学报,2021,第5期檀超^1,2，张静宣^1,2，王铁鑫^1,2，岳涛^1,2（南京航空航天大学计算机科学与技术学院；高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学)）.复杂软件系统的不确定性[J].软件学报,2021,第7期张捷，田聪，段振华（西安电子科技大学计算机科学与技术学院）.基于污染变量关系图的Android应用污点分析工具[J].软件学报,2021,第6期韩宁^1,2，李希萌^1,3，张倩颖^1,3，王国辉^1,3，施智平^1,3，关永^1,2（首都师范大学信息工程学院；北京成像理论与技术高精尖创新中心首都师范大学；电子系统可靠性技术北京市重点实验室(首都师范大学)）.以太坊中间语言的可执行语义[J].软件学报,2021,第6期谷晓松¹，魏恒峰¹，乔磊²，黄宇¹（计算机软件新技术国家重点实验室(南京大学)；北京控制工程研究所）.支持乱序执行的Raft协议[J].软件学报,2021,第6期陈小颖¹，祝义¹，赵宇¹，王金永²（江苏师范大学计算机科学与技术学院；南京航空航天大学计算机科学与技术学院）.面向CPS时空性质验证的混成AADL建模与模型转换方法[J].软件学报,2021,第6期姚广宇^1,2，张南^1,2，田聪^1,2，段振华^1,2，刘灵敏^1,2，孙风津^1,2（西安电子科技大学计算理论与技术研究所；综合业务网理论及关键技术国家重点实验室(西安电子科技大学)）.芯片开发功能验证的形式化方法[J].软件学报,2021,第6期芦倩^1,2，李晓娟^1,2，关永^1,3，王瑞^1,4，施智平^1,4（首都师范大学信息工程学院；高可靠嵌入式系统技术北京市工程研究中心(首都师范大学)；北京成像理论与技术高精尖创新中心(首都师范大学)；轻型工业机器人与安全验证北京市重点实验室(首都师范大学)）.面向数据流的ROS2数据分发服务形式建模与分析[J].软件学报,2021,第6期马钰锡¹，张全新¹，谭毓安¹，沈蒙^2,3（北京理工大学计算机学院；北京理工大学网络空间安全学院；鹏城实验室网络空间安全研究中心）.面向智能攻击的行为预测研究[J].软件学报,2021,第5期张协力^1,2，祝跃飞^1,2，顾纯祥^1,2，陈熹^1,2（数学工程与先进计算国家重点实验室；网络密码技术河南省重点实验室）.C2P：基于Pi演算的协议C代码形式化抽象方法和工具[J].软件学报,2021,第6期邝砾¹，施如意¹，赵雷浩¹，张欢¹，高洪皓²（中南大学计算机学院；上海大学计算机工程与科学学院）.大粒度Pull Request描述自动生成[J].软件学报,2021,第6期郝宗寅^1,2，鲁法明¹（山东科技大学计算机科学与工程学院；厦门大学信息学院）.Petri网的反向展开及其在程序数据竞争检测的应用[J].软件学报,2021,第6期苏卓^1,2，王东艳³，杨镒箫^1,2，张明睿^1,2，姜宇^1,2，孙家广^1,2（清华大学软件学院；信息系统安全教育部重点实验室(清华大学)；北京大学信息科学技术学院）.基于分支标记的数据流模型的代码生成方法[J].软件学报,2021,第6期陆寅¹，秦树东²，习乐琪¹，董云卫¹（西北工业大学计算机学院；西北工业大学软件学院）.面向AADL模型的存储资源约束可调度性分析[J].软件学报,2021,第6期高凤娟¹，王豫¹，周金果²，徐安孜¹，王林章¹，吴荣鑫³，张川⁴，苏振东⁵（计算机软件新技术国家重点实验室(南京大学)；蚂蚁集团；厦门大学信息学院；Department of Computer Science and Engineering，The Hongkong University of Science and Technology；Department of Computer Science(ETH Zurich)）.高精度的大规模程序数据竞争检测方法[J].软件学报,2021,第7期徐海燕^1,2，姜瑛^1,2（云南省计算机技术应用重点实验室；昆明理工大学信息工程与自动化学院）.针对复杂用户评论的代码质量属性判断[J].软件学报,2021,第7期王璐，李青山，吕文琪，张河，李昊（西安电子科技大学计算机科学与技术学院）.基于事件关系保障识别质量的自适应分析方法[J].软件学报,2021,第7期危剑豪，夏烨峰，宫学庆（华东师范大学软件工程学院）.多查询共享技术研究综述[J].软件学报,2021,第10期刘镇，韩益亮，杨晓元，柳曙光（武警工程大学密码工程学院）.安全随机数部分重用及在多接收方签密的应用[J].软件学报,2021,第10期首页上一页 5 6 7 8 9 下一页尾页共有9页，转到页

期刊文章列表