咨询与建议

限定检索结果

文献类型

  • 28 篇 期刊文献
  • 1 件 标准
  • 1 篇 会议

馆藏范围

  • 30 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 29 篇 工学
    • 26 篇 计算机科学与技术...
    • 19 篇 软件工程
    • 2 篇 机械工程
    • 1 篇 仪器科学与技术
    • 1 篇 控制科学与工程
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...

主题

  • 3 篇 软件过程
  • 2 篇 软件演化
  • 2 篇 过程可信
  • 2 篇 软件可信
  • 2 篇 移动机器人
  • 2 篇 搜索算法
  • 2 篇 单调速率
  • 2 篇 需求跟踪
  • 2 篇 线性规划
  • 2 篇 spiking神经网络
  • 2 篇 实时系统
  • 1 篇 可变规模收益(vrs...
  • 1 篇 建模
  • 1 篇 app评论
  • 1 篇 q学习
  • 1 篇 向上封闭集合
  • 1 篇 服务
  • 1 篇 隐蔽信道审计
  • 1 篇 可信过程评估
  • 1 篇 推荐系统

机构

  • 26 篇 中国科学院软件研...
  • 13 篇 中国科学院大学
  • 13 篇 中国科学院软件研...
  • 13 篇 计算机科学国家重...
  • 12 篇 中国科学院研究生...
  • 3 篇 中国科学院软件研...
  • 2 篇 河北师范大学
  • 1 篇 国家计算机网络应...
  • 1 篇 基础软件国家工程...
  • 1 篇 复杂系统管理与控...
  • 1 篇 北京北信源软件股...
  • 1 篇 北京科技大学
  • 1 篇 中国科学院软件研...
  • 1 篇 北京百度网讯科技...
  • 1 篇 烽台科技有限公司
  • 1 篇 国网区块链科技有...
  • 1 篇 中国科学院研究生...
  • 1 篇 中国信息安全测评...
  • 1 篇 陕西省网络与信息...
  • 1 篇 中国科学院软件研...

作者

  • 14 篇 王青
  • 13 篇 wang qing
  • 9 篇 李明树
  • 9 篇 王永吉
  • 6 篇 li ming-shu
  • 5 篇 wang yong-ji
  • 4 篇 王俊杰
  • 4 篇 吴敬征
  • 4 篇 wang jun-jie
  • 3 篇 yang qiu-song
  • 3 篇 li mingshu
  • 3 篇 杨秋松
  • 2 篇 王秀青
  • 2 篇 huai xiaoyong
  • 2 篇 ding li-ping
  • 2 篇 肖俊超
  • 2 篇 du shuan-zhu
  • 2 篇 胡渊喆
  • 2 篇 cui qiang
  • 2 篇 shi lin

语言

  • 30 篇 中文
检索条件"机构=中国科学院软件研究所互联网软件技术实验室计算机科学国家重点实验室"
30 条 记 录,以下是11-20 订阅
排序:
一种用于软件过程建模的适应性Agent协商
收藏 引用
软件学报 2009年 第3期20卷 557-566页
作者: 黎巎 李明树 王青 赵琛 杜栓柱 中国科学院软件研究所互联网软件技术实验室 北京100190 中国科学院研究生院 北京100049 中国科学院软件研究所计算机科学国家重点实验室 北京100190
大多软件过程模型是预定义的.在变化的应用环境中,需要由相应人员进行适应性调整.提出一种用于软件过程建模的适应性多边协商模型——AMNM-PA,其采用Agent封装软件过程中涉及的个体,包含组织、团队、个人等,通过Agent间的协商动态、... 详细信息
来源: 评论
动态需求跟踪方法及跟踪精度问题研究
收藏 引用
软件学报 2009年 第2期20卷 177-192页
作者: 李引 李娟 李明树 中国科学院软件研究所互联网软件技术实验室 北京100190 中国科学院研究生院 北京100049 中国科学院软件研究所计算机科学国家重点实验室 北京100190
在对动态需求跟踪现有研究综述的基础上,详细分析了动态需求跟踪面临的精度问题,并提出了解决方案——动态需求跟踪框架.该框架以自动化的需求跟踪为核心,组合了变更请求、影响分析、变更控制等活动,利用工作产品的特点和迭代过程中累... 详细信息
来源: 评论
软件过程建模方法研究
收藏 引用
软件学报 2009年 第3期20卷 524-545页
作者: 李明树 杨秋松 翟健 中国科学院软件研究所互联网软件技术实验室 北京100190 中国科学院软件研究所计算机科学国家重点实验室 北京100190 中国科学院研究生院 北京100049
通过软件开发实践,人们逐步地认识到软件产品的质量在很大程度上依赖于产品开发时使用的过程.软件过程建模是通过特定的方法对软件过程进行抽象、表示和分析以增加对软件过程的理解,同时,可执行的(enactable)软件过程模型可以直接指... 详细信息
来源: 评论
参数化系统安全性的启发式符号验证
收藏 引用
软件学报 2009年 第6期20卷 1444-1456页
作者: 杨秋松 李明树 中国科学院软件研究所互联网软件技术实验室 北京100190 中国科学院研究生院 北京100049 中国科学院软件研究所计算机科学国家重点实验室 北京100190
参数化系统(paramterized system)是指包含特定有限状态进程多个实例的并发系统,其中的参数是指系统内进程实例的数目,即系统的规模.反向可达性分析(backward reachability analysis)已被广泛用于验证参数化系统是否满足以向上封闭(upwa... 详细信息
来源: 评论
一种形式化的组件化软件过程建模方法
收藏 引用
软件学报 2011年 第1期22卷 1-16页
作者: 翟健 杨秋松 肖俊超 李明树 中国科学院软件研究所互联网软件技术实验室 北京100190 中国科学院研究生院 北京100049 中国科学院软件研究所计算机科学国家重点实验室 北京100190
为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(componentized software process modeling,简称CSPM).CSPM提... 详细信息
来源: 评论
基于证据的软件过程可信度模型及评估方法
收藏 引用
软件学报 2017年 第7期28卷 1713-1731页
作者: 王德鑫 王青 贺劼 中国科学院软件研究所互联网软件技术实验室 北京100190 中国科学院大学 北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院软件研究所天基综合信息系统重点实验室 北京100190
软件可信已经是一个迫在眉睫的重要问题,但对软件可信性的评估却一直没有一个系统且客观的标准.一些研究工作从可信证据的采集渠道入手,譬如认为有第3方测试的证据,其可信级别就高一些,而若有用户的使用反馈则可信级别就更高.这些工作... 详细信息
来源: 评论
基于混合搜索的含逻辑“与”“或”的RM优化算法
收藏 引用
软件学报 2017年 第10期28卷 2525-2538页
作者: 吕荫润 陈力 王翀 吴敬征 王永吉 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院软件研究所基础软件国家工程研究中心 北京100190 中国科学院大学 北京100190 中国科学院软件研究所互联网软件技术实验室 北京100190
相对于标准约束优化问题,广义约束优化问题(或称析取优化问题)的等式或不等式约束条件中不仅包含逻辑"与"关系,还含有逻辑"或"关系.单调速率(RM)优化问题是广义约束优化问题的一个重要应用.目前RM优化问题已有的解... 详细信息
来源: 评论
基于树状线性规划搜索的单调速率优化设计
收藏 引用
软件学报 2015年 第12期26卷 3223-3241页
作者: 陈力 王永吉 吴敬征 吕荫润 中国科学院软件研究所基础软件国家工程研究中心 北京100190 中国科学院大学 北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院软件研究所互联网软件技术实验室 北京100190
改善单调速率(rate monotonic,简称RM)可调度性判定算法的效率,是过去40年计算机实时臣统设计的重要问题。最近,研究人员把可调度性判定问题扩展到了更一般的优化设计问题,即,如何调节在区间可选择情况下的任务运行时间,使得:... 详细信息
来源: 评论
一种个体软件过程能力度量方法(英文)
收藏 引用
软件学报 2009年 第12期20卷 3137-3149页
作者: 张瞫 王永吉 阮利 中国科学院软件研究所互联网软件技术实验室 北京100190 中国科学院研究生院 北京100049 中国科学院软件研究所计算机科学国家重点实验室 北京100190 北京航天航空大学计算机学院 北京100191
个体软件过程(PSP)是由卡内基?梅隆大学软件工程研究所的 Humphrey 领导开发的.它是一种可用于控制、管理和改进个人工作方式的自我持续改进过程.随着工业界对软件过程改进需求的日益增长,PSP 成为了软件组织为达成完全(从宏观到微观)... 详细信息
来源: 评论
基于数据包络分析的软件任务性能基准评价(英文)
收藏 引用
软件学报 2009年 第6期20卷 1499-1510页
作者: 阮利 王永吉 王青 曾海涛 中国科学院软件研究所互联网软件技术实验室 北京100190 中国科学院研究生院 北京100049 北京航空航天大学计算机学院 北京100191 中国科学院软件研究所计算机科学国家重点实验室 北京100190
提出了一种基于数据包络分析的软件任务性能基准评价新方法——TaskBeD.介绍了TaskBeD的任务基准评价模型和核心算法(挖掘高性能的软件任务,建立参考任务集和结果的敏感度分析).实验结果显示,TaskBeD能够高效处理多变元和可变规模收益... 详细信息
来源: 评论