软件学报杂志北大期刊CSCD期刊统计源期刊

软件学报 2019年第07期杂志 文档列表

软件学报杂志软件形式化验证专题

软件形式化验证专题前言第1901-1902页

关键词: 形式化验证；  形式化方法；  软件；  计算系统；  硬件系统；  自动机理论；  逻辑演算；  形式语言；  

基于SVM的多项式循环程序秩函数生成第1903-1915页

关键词: 程序终止性；  svm；  机器学习；  秩函数；  

高阶类型化软件体系结构建模和验证及案例第1916-1938页

关键词: 类型规则；  类型检查；  软件体系结构；  软件体系结构建模；  软件体系结构验证；  

非交互式Petri网可覆盖性验证的高效实现第1939-1952页

关键词: 非交互式petri网；  可覆盖性；  验证；  模型检测；  smt求解器；  

基于实时自动机的连续时段演算的验证第1953-1965页

关键词: 时段演算；  扩展线性时段不变式；  量词线性算术；  量词消去；  

面向实时数据的CPS一体化建模方法第1966-1979页

关键词: 运行时验证；  实时性；  cps；  环境建模；  安全性；  

一种同步语言多线程代码自动生成工具第1980-2002页

关键词: 同步语言；  同步多时钟卫式动作；  多线程代码生成；  

同步数据流语言可信编译器Vélus与L2C的比较第2003-2017页

关键词: 同步数据流语言；  形式化验证的编译器；  lustre语言；  

具有多传感器的CPS系统的攻击检测第2018-2032页

关键词: cps；  安全性；  瞬态故障；  多传感器融合算法；  传感器攻击检测和识别；  

有关时间自动机重置的若干问题的计算复杂性第2033-2051页

关键词: 时间自动机；  重置序列；  归约；  计算复杂性；  

软件学报杂志模式识别与人工智能

汉语篇章理解研究综述第2052-2072页

关键词: 自然语言理解；  篇章分析；  篇章修辞结构；  篇章话题结构；  

受限玻尔兹曼机研究综述第2073-2090页

关键词: 受限制的玻尔兹曼机；  神经网络；  概率图模型；  深度学习；  

基于对抗式神经网络的多维度情绪回归第2091-2108页

关键词: 情绪回归；  情绪分析；  对抗式神经网络；  对抗式学习；  emobank语料；  

软件学报杂志系统软件与软件技术

软件开发活动数据集的层次化、多版本化方法第2109-2123页

关键词: 数据驱动的软件工程；  软件开发活动数据；  数据分析；  数据质量；  数据集；  

基于Jalangi的广告代码调用路径追踪第2124-2138页

关键词: 动态插桩；  调用路径；  广告代码分析；