咨询与建议

限定检索结果

文献类型

  • 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 篇 梅宏
  • 28 篇 mei hong
  • 25 篇 黄罡
  • 20 篇 谢冰
  • 18 篇 张伟
  • 17 篇 金芝
  • 17 篇 huang gang
  • 17 篇 郭耀
  • 17 篇 陈钟
  • 16 篇 张世琨
  • 16 篇 孙艳春
  • 16 篇 王亚沙
  • 15 篇 赵文
  • 14 篇 邹艳珍
  • 14 篇 zhang wei
  • 13 篇 jin zhi
  • 13 篇 赵俊峰
  • 13 篇 邵维忠
  • 13 篇 zhao wen
  • 12 篇 wang li-fu

语言

  • 231 篇 中文
检索条件"机构=北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室"
231 条 记 录,以下是111-120 订阅
排序:
逆向工程中的大类图拆分方法
收藏 引用
软件学报 2010年 第11期21卷 2701-2710页
作者: 刘辉 邵维忠 麻志毅 北京理工大学计算机学院 北京100081 高可信软件技术教育部重点实验室 北京100871 北京理工大学计算机学院智能信息技术北京市重点实验室 北京100081 北京大学信息科学技术学院软件研究所 北京100871
提出了一种大类图拆分方法.首先通过度量工具计算类图中类目(类及接口)间的耦合度.根据面向对象设计中高内聚低耦合的设计原则,将紧耦合的类目划入同一个类图,而耦合度低的类目间实现分离.为了确保生成的类图大小合适,拆分方法对每个类... 详细信息
来源: 评论
一种面向Chrome浏览器的视频云笔记插件
收藏 引用
计算机科学 2017年 第4期44卷 60-65,89页
作者: 辛超 乔子健 孙艳春 北京大学信息科学技术学院软件研究所 北京100871 高可信软件技术教育部重点实验室 北京100871
随着互联网的发展以及edx,Coursea和Udacity等开放式网络教学平台的推广,互联网教学逐渐兴起并广泛普及。互联网教学中学生获取知识的一个主要媒介是互联网课程中的教学视频资源。然而,当前的互联网教学辅助平台中存在一个明显的不足:... 详细信息
来源: 评论
语义可配置的模型转换
收藏 引用
软件学报 2013年 第7期24卷 1436-1454页
作者: 何啸 麻志毅 王瑞超 邵维忠 北京科技大学计算机与通信工程学院 北京100083 材料领域知识工程北京市重点实验室 北京100083 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所 北京100871
模型转换是模型驱动体系结构的核心技术之一.在一个复杂的模型驱动的开发过程中,可能同时使用多种转换语言及相应的工具实现转换程序.这一方面增加了开发人员的学习负担,也会导致各种兼容性问题的出现.提出一种语义可配置的模型转换技术... 详细信息
来源: 评论
面向网络的操作系统——现状和挑战
收藏 引用
中国科学信息科学 2013年 第3期43卷 303-321页
作者: 梅宏 郭耀 高可信软件技术教育部重点实验室 北京大学信息科学技术学院软件研究所北京100871
操作系统是计算机系统中最为关键的一层系统软件.长期以来,操作系统发展的主线是面向单机,追求更好地发挥计算机硬件的计算能力,同时为上层应用和用户提供更友好易用的接口.随着网络技术的发展,如何更好地支持网络构成了操作系统发展的... 详细信息
来源: 评论
基于代码克隆检测技术的Android应用重打包检测
收藏 引用
中国科学信息科学 2014年 第1期44卷 142-157页
作者: 王浩宇 王仲禹 郭耀 陈向群 高可信软件技术教育部重点实验室 北京大学信息科学技术学院软件所北京100871
随着智能移动设备的流行和普及,移动应用得到了飞速发展.这些移动应用带来了丰富的功能和友好的用户体验,同时也带来一些安全和隐私问题.恶意的开发者或者剽窃者可以破解已经发布的应用程序,并且在应用中植入恶意代码或者替换掉原有的... 详细信息
来源: 评论
基于Wi-Fi信道状态信息的行走识别与行走参数估计
收藏 引用
软件学报 2021年 第10期32卷 3122-3138页
作者: 李晟洁 李翔 张越 王亚沙 张大庆 北京大学信息科学技术学院 北京100871 高可信软件技术教育部重点实验室 北京100871 北京大学(天津滨海)新一代信息技术研究院 天津300450 北京大学软件工程国家工程研究中心 北京100871
行走是日常生活中最常见的行为之一,它的特征可以反映人的身份、健康等重要信息.例如,行走的速度、方向、步数、步长等细粒度的参数可以为内追踪、步态分析、老人看护等情境感知应用提供关键信息.因此,在近几年中,利用环境中已有的Wi... 详细信息
来源: 评论
PS-PPF:一个基于代理签名簇的VANETs隐私保护框架
收藏 引用
计算机科学 2012年 第11期39卷 19-23页
作者: 杨涛 万纯 胡建斌 陈钟 北京大学高可信软件技术教育部重点实验室 北京100871 北京大学网络与软件安全保障教育部软件重点实验室 北京100871 北京大学信息科学技术学院软件研究所 北京100871
车辆自组网(VANETs)是一种物联网在智能交通领域的重要应用形态,近年来已经成为学术界和工业界共同研究重点。VANETs具有诱人的发展前景,但其应用受到安全性和隐私保护的严格制约,因此有关VANETs的安全性和隐私保护的文献逐渐成为研... 详细信息
来源: 评论
软件开发方法发展回顾与展望
收藏 引用
软件学报 2019年 第1期30卷 3-21页
作者: 马晓星 刘譞哲 谢冰 余萍 张天 卜磊 李宣东 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系 江苏南京210023 北京大学信息科学技术学院软件研究所 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
软件信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法... 详细信息
来源: 评论
基于公交车轨迹数据的道路GPS环境友好性评估
收藏 引用
计算机研究与发展 2016年 第12期53卷 2694-2707页
作者: 马连韬 王亚沙 彭广举 赵宇昕 何远舵 高敬月 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院 北京100871 北京大学(天津滨海)新一代信息技术研究院 天津300450 软件工程国家工程研究中心(北京大学) 北京100871
GPS是应用最为广泛的外定位系统,随着技术的发展精度不断提升.然而城市中,由于GPS卫星信号被建筑遮挡,仍然可能产生较大的多径误差.此类误差已称为城市GPS定位误差的主要成分.评估城市道路中环境对GPS精度的负面影响,即环境的GPS友好... 详细信息
来源: 评论
一种面向Chrome浏览器的课堂云笔记插件
收藏 引用
计算机科学 2015年 第12期42卷 40-42,46页
作者: 乔子健 陈德健 孙艳春 北京大学信息科学技术学院软件研究所 北京100871 高可信软件技术教育部重点实验室 北京100871
在当今的教学中,课堂教学和互联网教学是两大主流。然而,无论是在课堂教学还是在互联网教学中,当前的学习辅助平台都存在着一个明显的不足:学生无法及时针对讲义细节在云端共享笔记或寻求帮助,没有形成便于学习和交流的知识分享机制。... 详细信息
来源: 评论