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

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

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

人气 14819

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

可信软件的构造与演化分析专刊前言第177-178页
关键词: 软件系统;  软件构造;  演化分析;  研究成果;  科研机构;  学术界;  工业界;  可信性;  
面向高可信软件的整数溢出错误的自动化测试第179-193页
关键词: 整数溢出;  高危整数溢出错误;  动态自动测试用例生成;  污点分析;  符号化执行;  
一种资源敏感的Web应用性能诊断方法第194-208页
关键词: web应用;  性能诊断;  异常检测;  资源敏感;  
一种路径敏感的静态缺陷检测方法第209-217页
关键词: 缺陷检测;  静态分析;  路径敏感;  数据流分析;  程序分析;  
可扩展的多周期检查点设置第218-230页
关键词: 容错;  检查点;  依赖跟踪;  
基于Petri网的服务组合故障诊断与处理第231-247页
关键词: petri网;  服务组合;  故障处理;  tree;  可靠性;  
基于动态描述逻辑的网构软件系统故障诊断第248-260页
关键词: 故障诊断;  网构软件;  动态描述逻辑;  可信软件;  离散事件系统;  
第7届全国Web信息系统及其应用学术会议(WISA2010)征文通知第260-260页
关键词: web信息系统;  分布式应用系统;  征文通知;  学术会议;  internet;  企业计算;  行业信息化;  办公自动化;  
基于服务组合的可信软件动态演化机制第261-276页
关键词: 可信软件;  动态演化;  组合服务;  web服务;  
一种面向服务的可靠多媒体传输算法第277-286页
关键词: 普适环境;  面向服务架构;  多媒体传输;  时延;  可靠性;  
一种从UML模型到可靠性分析模型的转换方法第287-304页
关键词: 基于构件的软件开发;  软件可靠性;  uml;  模型转换;  markov链;  
字节码虚拟机的构造和验证第305-317页
关键词: 已验证虚拟机;  模块化验证;  字节码;  类hoare逻辑;  
面向参数化LTL的预测监控器构造技术第318-333页
关键词: 运行时验证;  软件监控;  预测监控器;  temporal;  
处理指针相等关系不确定的指针逻辑第334-343页
关键词: 软件安全;  
一种关键任务系统自律可信性模型与量化分析第344-358页
关键词: 可信性;  自律计算;  evaluation;  process;  自容忍;  自恢复;  自毁;