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

软件学报 2013年第07期杂志 文档列表

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

一种面向富客户端应用的运行时自适应中间件第1419-1435页

关键词: 富客户端；  运行时自适应；  

语义可配置的模型转换第1436-1454页

关键词: 模型驱动体系结构；  模型转换；  转换语言；  执行语义；  

一种基于最小调试边界的断点自动生成技术第1455-1468页

关键词: 调试；  断点；  最小调试边界；  错误定位；  依赖分析；  

覆盖表生成的可配置贪心算法优化第1469-1483页

关键词: 组合测试；  贪心算法；  覆盖表；  软件测试；  测试用例生成；  

一种基于信息量的缺陷定位方法第1484-1494页

关键词: 程序调试；  缺陷定位；  信息量；  

一种利用适合性测试支持方法重定向的演算第1495-1511页

关键词: 面向上下文的编程；  层；  适合性测试；  featherweightjava演算；  类型系统；  

一种UML软件架构性能预测方法及其自动化研究第1512-1528页

关键词: 性能预测；  软件架构；  uml；  排队网络；  

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

求解多目标问题的Memetic免疫优化算法第1529-1544页

关键词: 多目标优化；  人工免疫算法；  memetic算法；  

多维度等级评分模型优化技术第1545-1556页

关键词: 排序学习；  有序回归模型；  多维度等级评分模型；  情感分析；  协同过滤；  

基于缩减信念状态的Conformant规划方法第1557-1570页

关键词: conformant规划问题；  信念状态；  增强爬山；  启发式搜索；  

记忆增强的动态多目标分解进化算法第1571-1588页

关键词: 进化计算；  多目标优化；  动态环境；  记忆方法；  分解；  

杂合启发式在线POMDP规划第1589-1600页

关键词: 部分可观察的马氏决策过程；  在线规划；  杂合启发法；  

增量和减量式标准支持向量机的分析第1601-1613页

关键词: 支持向量机；  增量式学习；  减量式学习；  可行性分析；  收敛性分析；  

面向智能服务机器人任务规划的行动语言扩展第1614-1625页

关键词: 非单调推理；  自动规划；  服务机器人；  

逻辑之间的语义忠实语义满翻译第1626-1637页

关键词: 翻译；  语义忠实语义满翻译；  逻辑同义性；