HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0
首页 期刊 软件学报杂志 软件学报杂志介绍(非官网)
软件学报杂志

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

主管单位:中国科学院  主办单位:中国科学院软件研究所;中国计算机学会

人气 14819

软件学报 2015年第02期杂志 文档列表

软件学报杂志安全攸关软件系统建模与验证专题
安全攸关软件系统建模与验证专题前言第179-180页
关键词: 软件系统;  模型验证;  建模;  安全;  专题;  航空电子系统;  形式化方法;  抽象状态机;  
基于形式化方法的航空电子系统检测第181-201页
关键词: 模型检测;  系统形式化;  航空电子系统;  软件配置项;  有限状态自动机;  
基于时间抽象状态机的AADL模型验证第202-222页
关键词: analysis;  and;  design;  abstract;  state;  模型转换;  形式验证;  
基于时间STM的软件形式化建模与验证方法第223-238页
关键词: 时间stm;  界限模型检测;  时间计算树逻辑;  实时嵌入式软件;  
设备驱动程序可靠性和正确性保障方法与技术研究进展第239-253页
关键词: 安全攸关软件系统;  设备驱动程序;  可靠性;  正确性;  
基于数据链的软件故障定位方法第254-268页
关键词: 故障定位;  数据流;  变量;  数据链;  软件测试;  
一种面向列车控制系统中安全攸关场景的测试用例自动生成方法第269-278页
关键词: 安全攸关场景;  场景建模;  简单路径覆盖;  测试用例自动生成;  
多处理器实时系统可调度性分析的UPPAAL模型第279-296页
关键词: 可调度性;  模型检测;  uppaal;  多处理器实时系统;  时间自动机;  
多分支单变量循环程序的终止性分析第297-304页
关键词: 可信计算;  多分支循环程序;  终止性分析;  
面向安全攸关系统中小概率事件的统计模型检测第305-320页
关键词: 统计模型检测;  小概率事件;  安全攸关系统;  随机混成自动机;  机器学习;  
面向航天嵌入式软件的形式化建模方法第321-331页
关键词: 航天嵌入式软件;  形式化建模方法;  
同步数据流语言高阶运算消去的可信翻译第332-347页
关键词: 同步数据流语言;  形式化验证;  高阶运算;  定理证明;  
一种基于特征矩阵的软件脆弱性代码克隆检测方法第348-363页
关键词: 脆弱性检测;  代码克隆;  语法分析树;  特征矩阵;  
一个机器检测的Micro-Dalvik虚拟机模型第364-379页
关键词: 大步操作语义;  形式化验证;  定理证明;  寄存器架构的虚拟机;  
信息物理融合系统控制软件的统计模型检验第380-389页
关键词: 形式化验证;  统计模型检验;  信息物理融合系统;  多任务系统;