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

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

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

构件软件的回归测试复杂性度量第3043-3061页

关键词: 基于构件的软件；  回归测试；  重测复杂性；  软件维护；  

基于代码库和特征匹配的函数名称推荐方法第3062-3074页

关键词: 函数名称；  推荐；  特征选择；  算法；  自然语言处理；  

基于程序不变量计算软件可靠性第3075-3087页

关键词: 测试用例集；  程序不变量；  失效数据；  nelson模型；  软件可靠性；  

浮点数学函数异常处理方法第3088-3103页

关键词: 浮点数；  数学函数；  异常处理；  

数组维度类型程序设计方法及高性能FFT实现第3104-3116页

关键词: 异构集群；  集群程序设计语言；  

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

结合扩展规则重构的#SAT问题增量求解方法第3117-3129页

关键词: 扩展规则；  模型计数；  极大项相交集；  互补表；  增量方法；  

基于查询子主题分类的多样性搜索评价方法第3130-3139页

关键词: 多样化检索评测分类；  检索结果多样化；  

概率最大受限路径相容算法第3140-3150页

关键词: 约束满足问题；  局部相容；  最大受限路径相容；  概率最大受限路径柏容；  

基于树形条件随机场的跨语言时态标注第3151-3161页

关键词: 汉英时态转换；  时态树；  未标注时态树；  已标注时态树；  树形条件随机场；  

概念格多属性渐减式构造第3162-3173页

关键词: 形式概念；  概念格；  减少属性；  渐进式算法；  概念格构造；  

软件学报杂志计算机网络与信息安全

使用ECC的身份混合签密方案第3174-3182页

关键词: 身份密码学；  混合签密；  预言机重放技术；  

ABeCK模型下安全的基于属性的认证密钥协商协议第3183-3195页

关键词: 基于属性；  密钥协商；  abeck模型；  gcdh假设；  gcpbdhe假设；  

抗签名密钥泄露的可撤销无证书签名第3196-3203页

关键词: 无证书公钥系统；  无证书签名；  撤销；  抗签名密钥泄露；  

高效可证安全的无证书聚合签名方案第3204-3214页

关键词: 无证书聚合签名；  随机预言机模型；  无双线性映射；  离散对数问题；  

RFID快速隐私保护认证协议第3215-3222页

关键词: rfid；  认证协议；  隐私保护；  伪随机函数；  物联网；