咨询与建议

限定检索结果

文献类型

  • 184 篇 期刊文献
  • 47 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 215 篇 工学
    • 202 篇 计算机科学与技术...
    • 163 篇 软件工程
    • 9 篇 网络空间安全
    • 7 篇 控制科学与工程
    • 5 篇 仪器科学与技术
    • 4 篇 信息与通信工程
    • 3 篇 机械工程
    • 2 篇 电子科学与技术(可...
    • 1 篇 材料科学与工程(可...
    • 1 篇 化学工程与技术
    • 1 篇 生物医学工程(可授...
  • 31 篇 管理学
    • 29 篇 管理科学与工程(可...
    • 2 篇 工商管理
    • 1 篇 农林经济管理
  • 9 篇 理学
    • 4 篇 数学
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 地球物理学
    • 1 篇 生物学
    • 1 篇 系统科学
  • 3 篇 教育学
    • 3 篇 教育学
  • 2 篇 医学
    • 1 篇 公共卫生与预防医...
    • 1 篇 药学(可授医学、理...
  • 1 篇 法学
    • 1 篇 马克思主义理论
  • 1 篇 军事学
    • 1 篇 军队指挥学
  • 1 篇 艺术学
    • 1 篇 设计学(可授艺术学...

主题

  • 12 篇 软件复用
  • 11 篇 软件体系结构
  • 9 篇 中间件
  • 7 篇 软件维护
  • 7 篇 机器学习
  • 6 篇 隐私保护
  • 6 篇 特征模型
  • 5 篇 无线射频识别(rfi...
  • 5 篇 程序分析
  • 5 篇 软件资源库
  • 5 篇 web服务
  • 5 篇 网构软件
  • 5 篇 软件开发
  • 4 篇 建模
  • 4 篇 验证
  • 4 篇 云计算
  • 4 篇 互联网
  • 4 篇 车辆自组网
  • 4 篇 同步网
  • 4 篇 自适应

机构

  • 221 篇 北京大学
  • 135 篇 高可信软件技术教...
  • 7 篇 软件工程国家工程...
  • 6 篇 北京理工大学
  • 5 篇 中国科学院数学与...
  • 5 篇 教育部高可信软件...
  • 4 篇 华中科技大学
  • 3 篇 ibm中国研究院
  • 3 篇 网络和软件安全保...
  • 2 篇 国家计算机网络应...
  • 2 篇 广州大学
  • 2 篇 北京交通大学
  • 2 篇 中国科学院大学
  • 2 篇 深圳市云计算关键...
  • 2 篇 中国科学院数学与...
  • 2 篇 中国科学院计算技...
  • 2 篇 软件工程国家工程...
  • 2 篇 高可信软件技术教...
  • 2 篇 山东科技大学
  • 2 篇 高可信软件技术

作者

  • 43 篇 梅宏
  • 25 篇 黄罡
  • 20 篇 谢冰
  • 18 篇 张伟
  • 17 篇 金芝
  • 17 篇 郭耀
  • 17 篇 陈钟
  • 16 篇 张世琨
  • 16 篇 孙艳春
  • 16 篇 王亚沙
  • 15 篇 赵文
  • 14 篇 邹艳珍
  • 13 篇 赵俊峰
  • 13 篇 邵维忠
  • 12 篇 王立福
  • 12 篇 赵海燕
  • 12 篇 陈向群
  • 12 篇 胡建斌
  • 12 篇 王捍贫
  • 11 篇 麻志毅

语言

  • 231 篇 中文
检索条件"机构=北京大学信息科学技术学院软件研究所、高可信软件技术教育部重点实验室"
231 条 记 录,以下是161-170 订阅
排序:
逆向工程中的大类图拆分方法
收藏 引用
软件学报 2010年 第11期21卷 2701-2710页
作者: 刘辉 邵维忠 麻志毅 北京理工大学计算机学院 北京100081 高可信软件技术教育部重点实验室 北京100871 北京理工大学计算机学院智能信息技术北京市重点实验室 北京100081 北京大学信息科学技术学院软件研究所 北京100871
提出了一种大类图拆分方法.首先通过度量工具计算类图中类目(类及接口)间的耦合度.根据面向对象设计中高内聚低耦合的设计原则,将紧耦合的类目划入同一个类图,而耦合度低的类目间实现分离.为了确保生成的类图大小合适,拆分方法对每个类... 详细信息
来源: 评论
流密码算法RC4的教学设计
收藏 引用
信息安全与技术 2010年 第9期1卷 80-82页
作者: 王昭 北京大学信息科学技术学院软件研究所 高可信软件技术教育部重点实验室北京100871
针对流密码算法RC4教学过程中存在难以理解的问题,在分析RC4算法的基础上,本文提出了一种基于摸球模型的RC4算法教学模型和教学过程,在密码学课程教学方面取得了良好的效果。
来源: 评论
SASEP:一个面向软件工程的服务平台
SASEP:一个面向软件工程的服务平台
收藏 引用
2010年全国软件与应用学术会议(NASAC2010)
作者: 魏豪 邵津 吴凌 刘海文 王千祥 北京大学 信息科学技术学院 软件研究所 北京 100871 高可信软件技术教育部重点实验室
近年来,随着SaaS(Software as a Service)逐步被广泛认可,新型的软件平台PaaS(Platform as a Service)被提出,以专门支持SaaS软件向用户提供服务。本文介绍了一个面向软件工程的PaaS平台——SASEP(Service AidedSoftware Engineering Pl... 详细信息
来源: 评论
一种基于Internet的JAR包使用信息收集方法
一种基于Internet的JAR包使用信息收集方法
收藏 引用
2010年全国软件与应用学术会议(NASAC2010)
作者: 刘昌盛 李萌 邹艳珍 谢冰 北京大学 信息科学技术学院软件研究所 北京 100871 高可信软件技术教育部重点实验室北京 100871
随着Internet和软件复用技术的发展,在Internet上出现了越来越多可以被利用的软件资源,如Web Services、JAR包等。收集、整理这些软件资源将极大地丰富软件资源库中资源的数量和种类,从而有力地推动软件复用的进一步发展。基于上述目标... 详细信息
来源: 评论
基于代理的OSGi构件监控方法
基于代理的OSGi构件监控方法
收藏 引用
2010年全国软件与应用学术会议(NASAC2010)
作者: 林洪武 尤朝 周明辉 梅宏 北京大学信息科学技术学院软件研究所 北京 100871 北京大学高可信软件技术教育部重点实验室北京 100871
基于构件的软件开发和复用被认为是提高软件开发效率和质量的有效途径,并已在分布式系统中得到广泛应用,OSGi(Open Services Gateway Initiative)构件平台模型为软件构件提供了良好的生命周期管理和动态依赖管理,已被广泛应用到各种系统... 详细信息
来源: 评论
一种Web Service的服务质量预测方法
收藏 引用
软件学报 2009年 第8期20卷 2062-2073页
作者: 邵凌霜 周立 赵俊峰 谢冰 梅宏 北京大学信息科学技术学院软件研究所 北京100871 高可信软件技术教育部重点实验室 北京100871
服务消费者在选择服务之前,通常需要基于其他消费者的经验对未使用过的服务的质量进行预测.考虑到不同服务消费者对同一服务的服务质量的感受之间可能存在较大的差别,提出了一种QoS(quality of service)预测方法.该方法以消费者的历史... 详细信息
来源: 评论
一种抵御拒绝服务攻击的自适应客户端难题(英文)
收藏 引用
软件学报 2009年 第9期20卷 2558-2573页
作者: 陈瑞川 郭文嘉 唐礼勇 陈钟 北京大学信息科学技术学院软件研究所 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
研究传统的客户端难题方案,之后提出一种自适应客户端难题方案.该方案采用一种轻量级的协议交互方式来获取客户端和服务器双方的实时状态信息,并据此自适应地调整客户端难题的难度.为了评估该方案的适用性,结合传统和自适应两种客户端... 详细信息
来源: 评论
UML类图中面向非功能属性的描述和检验
收藏 引用
软件学报 2009年 第6期20卷 1457-1469页
作者: 张岩 梅宏 北京大学信息科学技术学院软件研究所 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
为系统构建模型是软件开发中的一项关键活动.一个高质量的模型不仅要包含系统的功能属性,即系统能够做什么,同时还应包含系统的非功能属性,即系统的质量如何.目前,通用的建模方法和工具对功能属性建模支持良好,而对如何为非功能属性建... 详细信息
来源: 评论
一种在线的动态网页分块缓存方法
收藏 引用
电子学报 2009年 第5期37卷 1087-1091页
作者: 尤朝 周明辉 林泊 曹东刚 梅宏 北京大学信息科学技术学院软件研究所 北京100871 北京大学高可信软件技术教育部重点实验室 北京100871
分块缓存技术能够有效提高动态网页的服务质量.现有的既存系统较少使用分块缓存技术设计,如何将其应用于这些系统是一个很大的挑战.本文提出了一种在线的动态网页分块缓存方法,使原系统演化成基于分块的系统,为用户服务.该方法具有三方... 详细信息
来源: 评论
DNA计算机原理、进展及难点(V):DNA分子的固定技术
收藏 引用
计算机学报 2009年 第12期32卷 2283-2299页
作者: 许进 李菲 北京大学信息科学技术学院高可信软件技术教育部重点实验室 北京100871 空军装备研究院 北京100085
在DNA计算机的研制中,DNA分子的固定是首先需要处理的一个最为基本的技术问题.事实上,DNA分子的固定技术不仅是生物计算的一个基本技术,而且是整个基因工程、生物芯片、甚至某些疾病诊疗的基础.基于此,文中将对DNA分子的固定技术给予较... 详细信息
来源: 评论