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

软件学报 2017年第05期杂志 文档列表

软件学报杂志形式化方法与应用专题

常用循环摘要的自动生成方法及其应用第1051-1069页

关键词: 循环摘要；  循环不变式；  前置条件；  后置条件；  程序验证；  

正则模型类的时态可定义性第1070-1079页

关键词: 正则模型；  时态语言；  时态可定义性；  

异步多进程时间自动机的可覆盖性问题第1080-1090页

关键词: 实时；  异步多进程时间自动机；  时间自动机；  可读边时间petri网；  可覆盖性；  

不确定观测下离散事件系统的可诊断性第1091-1106页

关键词: 不确定观测；  离散事件系统；  可诊断性；  

面向收敛的并发程序执行轨迹静态简化方法第1107-1117页

关键词: 并发程序；  执行轨迹；  轨迹等价；  轨迹简化；  调试；  

多机器人路径规划的安全性验证第1118-1127页

关键词: 人工智能；  机器人；  混成通信顺序进程；  混成系统；  形式化验证；  定理证明；  

一种面向CPS的自适应统计模型检测方法第1128-1143页

关键词: 统计模型检测；  抽象；  学习；  自适应性；  

一种面向CPS的控制应用程序协同验证方法第1144-1166页

关键词: 嵌入式控制应用程序；  自动机理论；  协同验证；  有界模型检验；  

面向动作的上下文感知应用的规约与运行时验证第1167-1182页

关键词: 普适计算；  上下文感知；  形式规约；  运行时验证；  

基于通信的列车控制系统可信构造：形式化方法综述第1183-1203页

关键词: 基于通信的列车控制系统；  安全攸关；  可信构造；  形式化方法；  

基于Event-B的航天器内存管理系统形式化验证第1204-1220页

关键词: 航天器操作系统；  内存管理；  形式化验证；  

peC语言的部分求值器及在编译器测试中的应用第1221-1232页

关键词: 部分求值；  剩余程序；  测试用例；  编译器测试；  抽象语法树；  

可信编译器L2C的核心翻译步骤及其设计与实现第1233-1246页

关键词: 经过验证的编译器；  同步数据流语言；  l2c；  coq证明辅助器；  核心翻译步骤；  

软件学报杂志系统软件与软件工程

软件非功能需求权衡代价第1247-1270页

关键词: 软件质量；  非功能需求权衡代价；  生产理论；  替代弹性；  线性规划；  

软件学报杂志数据库技术

基于分层抽样的重叠深网数据源选择第1271-1295页

关键词: 数据源选择；  分层抽样；  数据源重叠率估计；  回归；