《软件学报杂志》2016年03期主办单位

软件学报

编辑出版：软件学报杂志编辑部
主办：中国科学院软件研究所
出版周期：月刊出版地：北京市
语种：中文　　ISSN：1000-9825

相关推荐

《现代计算机(专业版)杂志》2008年04

《软件学报杂志》2016年03期目录

软件形式化方法与应用专题前言
詹乃军王戟李宣东
几何代数的高阶逻辑形式化
马莎施智平李黎明关永张杰 Xiaoyu SONG
有界闭连通域上的非线性循环终止性分析
李轶冯勇
城市交通网络信号控制系统的实时演算模型
孙景昊关楠邓庆绪张论文QQ81995535 鑫杨丰源
基于变量访问序模式的中断数据竞争检测方法
陈睿杨孟飞郭向英
安全苛刻系统测试语言中的测试设备协同语句
吕江花高世伟马世龙孙波李先军
基于模拟关系的精化检测方法
王婷陈铁明刘杨
面向条件判定覆盖的线性拟合制导测试生成
汤恩义周岩欧建生陈鑫
同步语言的时间可预测多线程代码生成方法
杨志斌赵永望黄志球胡凯马殿富 Jean-Paul BODEVEIX Mamoun FILALI
面向方面设计中干涉问题的分析工具
陈鑫黄超张一帆梅一鸣
运用栅栏函数验证连续系统的有界时间安全性
甘庭夏壁灿
不确定环境下智能大厦空调系统调度策略评估
陈铭松顾璠徐思远陈小红
二维逻辑PPTL~(SL)的可满足性检查
陆旭段振华田聪
面向无穷数据的形式模型综述
宋富吴志林
基于排序学习的推荐算法研究综述
黄震华张佳雯田春岐孙圣力向阳
基于标签路径特征融合的在线Web新闻内容抽取
吴共庆胡骏李莉徐喆昊刘鹏程胡学钢吴信东
绿色网络理论与技术研究
张国强许自取刘真
公钥密码分析简介
肖人毅
《软件学报》2014-2015年已出版专刊

计算机论文导航: 北大核心统计源核心 CSCD CSCD扩展国家级期刊省级期刊杂志见刊

软件形式化方法与应用专题前言

几何代数的高阶逻辑形式化

有界闭连通域上的非线性循环终止性分析

城市交通网络信号控制系统的实时演算模型

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

安全苛刻系统测试语言中的测试设备协同语句

基于模拟关系的精化检测方法

面向条件判定覆盖的线性拟合制导测试生成

同步语言的时间可预测多线程代码生成方法

面向方面设计中干涉问题的分析工具

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

不确定环境下智能大厦空调系统调度策略评估

二维逻辑PPTL~(SL)的可满足性检查

面向无穷数据的形式模型综述

基于排序学习的推荐算法研究综述

基于标签路径特征融合的在线Web新闻内容抽取

绿色网络理论与技术研究

公钥密码分析简介

《软件学报》2014-2015年已出版专刊