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

软件学报 2009年第08期杂志 文档列表

软件学报杂志理论计算机科学

有界模型检测的优化第2005-2014页

关键词: 模型检测；  有界模型检测；  可满足性问题；  模态算子；  递推公式；  

ETL的符号化模型检验第2015-2025页

关键词: 符号化模型检验；  扩展时序逻辑；  tableau方法；  验证工具；  enusmv；  

直觉线性μ-演算中的合成推理第2026-2036页

关键词: 合成推理；  命题线性时序逻辑；  

用于指针逻辑的自动定理证明器第2037-2050页

关键词: 指针程序；  指针逻辑；  验证条件；  自动定理证明器；  证明检查器；  

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

基于分离逻辑的程序验证技术第2051-2061页

关键词: 可信软件；  程序验证；  霍尔逻辑；  分离逻辑；  定理证明；  

一种Web Service的服务质量预测方法第2062-2073页

关键词: web服务；  相似度；  

基于时序逻辑证明编译优化程序变换的保义性第2074-2086页

关键词: 时序逻辑；  形式规约；  优化编译；  程序变换；  语句交换；  变量替换；  语句重排；  

一种基于图转换的模型重构描述语言第2087-2101页

关键词: 重构；  模型；  图转换；  描述语言；  

基于BPEL的Web Service组合的数据流分析测试方法第2102-2112页

关键词: web服务；  业务流程执行语言；  web服务组合；  软件测试；  数据流分析；  

以体系结构为中心的模型转换的语义描述框架第2113-2123页

关键词: 模型驱动开发；  模型转换；  软件体系结构；  语义描述；  

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

复述技术研究第2124-2137页

关键词: 复述；  复述获取；  复述生成；  评测；  

无监督词义消歧研究第2138-2152页

关键词: 词义消歧；  无监督词义消歧；  自然语言处理；  语义理解；  

一种解决大规模数据集问题的核主成分分析算法第2153-2159页

关键词: 核主成分分析；  gram矩阵；  大规模数据集；  协方差无关；  特征分解；  

基于机器学习的自动协商决策模型第2160-2169页

关键词: 电子商务；  自动协商；  协商决策模型；  支持向量回归；  遗传算法；  

一种多足步行机器人行走状态分析模型第2170-2180页

关键词: 多足步行机器人；  行走状态模型；  加速度传感器；  马氏距离；