计算机科学杂志北大期刊CSCD期刊统计源期刊

计算机科学 2017年第04期杂志 文档列表

计算机科学杂志NASAC 2015

POP:一个基于微服务架构的在线编程系统第8-11页

关键词: 云计算；  公共在线编程系统；  微服务；  docker；  

一种面向功能类似程序的高效克隆检测技术第12-15页

关键词: 程序分析；  克隆检测；  技术移植；  

CCodeExtractor:一种针对C程序自动化的函数提取方法第16-20页

关键词: c程序重构；  程序变换；  程序理解；  代码提取；  循环分析；  llvm；  

Mozilla项目缺陷修复追踪关系研究第21-23页

关键词: 可追踪性；  缺陷修复；  版本控制；  数据挖掘；  

一种服务消息交互行为的元建模方法第24-29页

关键词: 服务交互；  元建模；  工作流模型；  消息接口；  形式语义；  

面向软件安全性需求分析过程的追踪模型第30-34页

关键词: 追踪性；  软件安全性需求；  安全性分析；  

基于LDA的软件代码主题摘要自动生成方法第35-38页

关键词: 软件代码；  lda；  代码功能挖掘；  软件文档；  摘要；  

Linux设备驱动重用研究第39-42页

关键词: linux；  设备驱动重用；  代码依赖分析；  设备驱动运行环境；  

基于时间序列分析的杀手级任务在线识别方法第43-46页

关键词: 云计算系统；  杀手级任务；  在线识别；  时间序列；  资源使用模式；  失效频率；  

基于模型的云应用动态配置框架第47-55页

关键词: 云应用；  自配置；  模型；  运行时扩展；  

一种基于子图搜索的特征定位方法第56-59页

关键词: 特征定位；  程序理解；  代码结构；  调用依赖；  

一种面向Chrome浏览器的视频云笔记插件第60-65页

关键词: 开放式网络教学平台；  互联网教学；  视频教学资源；  视频云笔记；  chrome插件；  

设备自动巡检控制逻辑的层级时间自动机建模与验证第66-71页

关键词: 自动巡检；  层级时间自动机；  uppaal；  模型检测；  

无人驾驶汽车决策系统的规则正确性验证第72-74页

关键词: 无人驾驶汽车；  决策系统；  模型检验；  环境建模；  

一种基于层次聚类的软件架构恢复方法第75-78页

关键词: 层次聚类；  架构恢复；  面向对象；  面向过程；  系统划分；