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

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

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

人气 14819

软件学报 2006年第04期杂志 文档列表

软件学报杂志系统软件与软件工程
Unifying the Software Process Spectrum第649-657页
关键词: 软件处理;  微处理;  宏处理;  过程表征;  
基于角色的设计模式建模和实现方法第658-669页
关键词: 设计模式的实例化;  角色;  roleof关系;  uml;  元模型;  
关于征集中国计算机事业50周年大事记的通知第669-669页
Statecharts的组合语义与求精第670-681页
关键词: statecharts;  时序逻辑;  形式语义;  组合;  求精;  
一个适用于网构软件的信任度量及演化模型第682-690页
关键词: 网构软件;  信任;  软件协同;  演化;  软件服务;  
以交互为中心的Post-WIMP界面模型第691-702页
关键词: 界面设计;  分层模型;  交互设计;  
一种自动化软件设计改进方法第703-712页
关键词: 事例推理;  设计模式;  反模式;  软件演化;  重构;  
软件学报杂志理论计算机科学
子共代数与共同余共关系第713-719页
关键词: 共代数;  子共代数;  范畴理论;  共同余共关系;  
从基于迁移的扩展Büchi自动机到Büchi自动机第720-728页
关键词: 模型检测;  ltl;  公式;  tgba;  
二维Logistic映射的动力学分析第729-739页
关键词: 二维logistic映射;  分岔;  混沌;  分形;  动力学分析;  
软件学报杂志数据库技术
基于滑动窗口的数据流连续J-A查询的处理方法第740-749页
关键词: 数据流;  滑动窗口;  连接聚集;  连续查询;  
安全数据库的推理控制第750-758页
关键词: 安全数据库;  推理控制;  视图;  视图合谋;  
一种XML数据库的数据模型第759-769页
关键词: xml数据库;  数据模型;  数据结构;  代数;  路径表达式;  
一种并行XML数据库分片策略第770-781页
关键词: 并行数据库;  xml文档;  工作负载;  数据分片;  媒介节点;  
混合P2P环境下有效的查询扩展及其搜索算法第782-793页
关键词: 查询扩展;  查询记录;  相关度;  搜索;  p2p;