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

软件学报 2016年第03期杂志 文档列表

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

软件形式化方法与应用专题前言第495-496页

关键词: 形式化方法；  高阶逻辑；  应用专题；  定理证明器；  程序理论；  数学方法；  研究成果；  代数的；  计算机科学；  保障系统；  

几何代数的高阶逻辑形式化第497-516页

关键词: 几何代数；  形式化验证；  定理证明；  几何积；  

有界闭连通域上的非线性循环终止性分析第517-526页

关键词: 可信计算；  非线性循环；  终止性分析；  groebner基；  计算机代数；  

城市交通网络信号控制系统的实时演算模型第527-546页

关键词: 实时演算；  城市交通网络；  信号灯控制；  交通拥堵系数；  

基于变量访问序模式的中断数据竞争检测方法第547-561页

关键词: 中断驱动型程序；  数据竞争；  抽象解释；  

安全苛刻系统测试语言中的测试设备协同语句第562-579页

关键词: 可信性；  自动化测试；  测试设备协同；  操作语义；  安全苛刻系统；  

基于模拟关系的精化检测方法第580-592页

关键词: 精化检测；  模拟；  failures；  divergence；  时间自动机；  

面向条件判定覆盖的线性拟合制导测试生成第593-610页

关键词: 测试用例自动生成；  条件判定覆盖；  线性拟合；  关联路径；  

同步语言的时间可预测多线程代码生成方法第611-632页

关键词: 安全关键系统；  多核处理器；  时间可预测；  同步语言；  analysis；  and；  design；  

面向方面设计中干涉问题的分析工具第633-644页

关键词: 面向方面的设计；  功能干涉；  推理验证；  设计演算；  

运用栅栏函数验证连续系统的有界时间安全性第645-654页

关键词: 连续系统；  安全性验证；  栅栏函数；  半定规划；  平方和；  

不确定环境下智能大厦空调系统调度策略评估第655-669页

关键词: 不确定环境；  智能大厦；  价格时间自动机；  策略评估；  

二维逻辑PPTL^SL的可满足性检查第670-681页

关键词: 时序逻辑；  分离逻辑；  指针；  二维逻辑；  可满足性；  

面向无穷数据的形式模型综述第682-690页

关键词: 无穷数据；  自动机；  逻辑；  非空性；  语言包含；  可满足性；  可判定性；  复杂性；  

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

基于排序学习的推荐算法研究综述第691-713页

关键词: 排序学习；  推荐算法；  机器学习；  兴趣模型；  个性化服务；