咨询与建议

限定检索结果

文献类型

  • 699 篇 期刊文献
  • 128 篇 会议
  • 16 件 标准
  • 2 篇 成果

馆藏范围

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

日期分布

学科分类号

  • 774 篇 工学
    • 387 篇 计算机科学与技术...
    • 348 篇 软件工程
    • 137 篇 航空宇航科学与技...
    • 84 篇 控制科学与工程
    • 82 篇 机械工程
    • 47 篇 材料科学与工程(可...
    • 42 篇 仪器科学与技术
    • 37 篇 电子科学与技术(可...
    • 25 篇 动力工程及工程热...
    • 14 篇 力学(可授工学、理...
    • 14 篇 信息与通信工程
    • 11 篇 电气工程
    • 11 篇 网络空间安全
    • 9 篇 光学工程
    • 9 篇 建筑学
    • 8 篇 生物医学工程(可授...
    • 7 篇 水利工程
    • 7 篇 化学工程与技术
    • 7 篇 交通运输工程
    • 6 篇 矿业工程
  • 84 篇 管理学
    • 62 篇 管理科学与工程(可...
    • 19 篇 工商管理
  • 78 篇 理学
    • 32 篇 数学
    • 28 篇 系统科学
    • 15 篇 物理学
    • 6 篇 统计学(可授理学、...
  • 13 篇 经济学
    • 13 篇 应用经济学
  • 12 篇 医学
    • 8 篇 临床医学
  • 12 篇 艺术学
    • 12 篇 设计学(可授艺术学...
  • 4 篇 教育学
  • 3 篇 法学
  • 2 篇 农学
  • 2 篇 军事学
  • 1 篇 哲学
  • 1 篇 文学

主题

  • 57 篇 软件工程
  • 42 篇 软件开发
  • 39 篇 软件测试
  • 26 篇 面向对象
  • 14 篇 可靠性
  • 14 篇 软件体系结构
  • 13 篇 软件过程
  • 13 篇 软件质量
  • 11 篇 计算机
  • 10 篇 软件过程度量
  • 10 篇 过程模型
  • 10 篇 数据库
  • 9 篇 uml
  • 9 篇 ada语言
  • 9 篇 人工智能
  • 9 篇 petri网
  • 8 篇 过程建模
  • 8 篇 数值模拟
  • 8 篇 电子束焊接
  • 8 篇 工效学

机构

  • 838 篇 北京航空航天大学
  • 38 篇 北京控制工程研究...
  • 29 篇 中国工程物理研究...
  • 24 篇 北京航空制造工程...
  • 22 篇 北京宇航系统工程...
  • 22 篇 清华大学
  • 21 篇 北京系统工程研究...
  • 16 篇 北京卫星环境工程...
  • 16 篇 航天医学工程研究...
  • 11 篇 中国电子技术标准...
  • 11 篇 中国科学院软件研...
  • 11 篇 北京机电工程研究...
  • 8 篇 北京理工大学
  • 7 篇 哈尔滨工业大学
  • 6 篇 西安交通大学
  • 6 篇 上海计算机软件技...
  • 6 篇 中国航天系统科学...
  • 6 篇 浙江大学
  • 6 篇 深圳赛西信息技术...
  • 5 篇 上海宇航系统工程...

作者

  • 84 篇 金茂忠
  • 66 篇 刘超
  • 45 篇 张莉
  • 39 篇 袁修干
  • 36 篇 jin mao-zhong
  • 34 篇 周伯生
  • 32 篇 liu chao
  • 31 篇 兰雨晴
  • 25 篇 zhang li
  • 24 篇 晏海华
  • 22 篇 高仲仪
  • 20 篇 钱红兵
  • 19 篇 罗燕京
  • 18 篇 谢劲松
  • 18 篇 郭树行
  • 17 篇 郭江
  • 16 篇 何新贵
  • 15 篇 王雷
  • 13 篇 yuan xiu-gan
  • 13 篇 康锐

语言

  • 844 篇 中文
  • 1 篇 英文
检索条件"机构=北京航空航天大学软件工程研究所 北京 100083"
845 条 记 录,以下是1-10 订阅
排序:
面向TTCN-3分布式测试执行平台的测试适配器框架的研究与设计
收藏 引用
电子学报 2009年 第B04期37卷 125-130,117页
作者: 王冠 吴际 徐珞 金茂忠 北京航空航天大学软件工程研究所 北京100083
由于分布式系统具有物理分布、并发访问、时序敏感、平台异构等特点,以分布式测试系统必须适应上述特点.TTCN-3分布式测试执行平台能够满足分布式测试的要求,但TTCN-3测试系统静态绑定测试适配器的特点导致测试系统在单个测试执行节... 详细信息
来源: 评论
软件集成测试的群体协同工作模式及其特性
收藏 引用
软件学报 2000年 第6期11卷 841-847页
作者: 刘超 张茂林 晏海华 杨峰 何智涛 北京航空航天大学软件工程研究所 北京100083
该文论述了在大型软件的集成测试中开发组和测试组之间的协同工作方式及其对软件产品质量和开发效率的影响 .文章着重讨论了集成测试的基本测试过程、必需的测试任务、测试人员的职责、其他各类相关人员的角色及其相互之间的各种关系 ,... 详细信息
来源: 评论
软件体系结构评估技术
收藏 引用
软件学报 2008年 第6期19卷 1328-1339页
作者: 张莉 高晖 王守信 北京航空航天大学 软件工程研究所 北京100083
作为在软件生命周期早期保障软件质量的重要手段之一,软件体系结构评估技术是软件体系结构研究中的一个重要组成部分.将现有的软件体系结构评估方法划分为3类:基于场景的评估方法、基于度量和预测的评估方法以及特定软件体系结构描述语... 详细信息
来源: 评论
业务模型的描述语言
收藏 引用
计算机工程 2004年 第17期30卷 26-28页
作者: 孙自安 周伯生 北京航空航天大学软件工程研究所 北京100083
提出引入面向对象方法解决业务模型存在的问题,并讨论了如何借用UML中的建模元素描述业务模型中的基础设施、协同、信息和行为模型。
来源: 评论
Web应用测试模型研究
收藏 引用
电子学报 2005年 第B12期33卷 2376-2380页
作者: 李诺 吴际 金茂忠 刘超 北京航空航天大学软件工程研究所 北京100083
本文基于模型驱动测试的思想,提出一种Web应用测试模型WANM(Web Application Navigation Model),用于支持测试用例的设计与自动执行.基于WANM设计的测试用例的描述参照U2TP(UML2.0 Testing Profile)标准,使得测试建模、测试用... 详细信息
来源: 评论
利用基本文法改写模式解决语法分析冲突
收藏 引用
北京邮电大学学报 2006年 第3期29卷 86-90页
作者: 李虎 金茂忠 刘超 许福 北京航空航天大学软件工程研究所 北京100083
分析了LALR(1)分析器生成系统中语法分析冲突问题的起因和解决冲突的时机及策略,提出改写文法应遵循的4条规则,将常用的文法改写技巧总结为7个基本的文法改写模式.应用案例表明,提出的文法改写规则和基本文法改写模式可有效解决语法分... 详细信息
来源: 评论
显式并行资源计算结构及其编译优化
收藏 引用
计算机工程 2005年 第6期31卷 63-65页
作者: 朱凯佳 北京航空航天大学软件工程研究所 北京100083
提出并分析了一种新的基于超长指令字(VLIW)思想的微处理器模型,该模型提供了体系结构可见的处理器内部结果寄存器和数据通路,允许优化编译器进行直接的控制和调度,并依赖编译器保证操作之间的依赖关系,以简化硬件设计并获得更高的时钟... 详细信息
来源: 评论
基于Linux的软件DSM实现
收藏 引用
计算机工程 2006年 第4期32卷 58-60页
作者: 李鹏 王雷 北京航空航天大学软件工程研究所 北京100083
分布式共享存储系统在分布式存储器的基础上构造逻辑上的共享存储模型。提出了在操作系统层实现分布式共享存储的系统框架,并以Linux操作系统为平台介绍了其实现。该系统提供简单的调用接口,并与Linux内存管理框架紧密结合。通过采用合... 详细信息
来源: 评论
基于UML的软件开发支持环境
收藏 引用
系统工程与电子技术 2001年 第9期23卷 95-98,101页
作者: 葛科 周伯生 北京航空航天大学软件工程研究所 100083
UML(UnifiedModelingLanguage)已经成为面向对象建模语言事实上的工业标准。介绍了基于UML的软件开发支持环境UML-Designer和环境支持的软件开发过程。体系结构设计是环境成功的关键 ,重点讨论了建立在VEPL产品线上的VEA重用体系结构... 详细信息
来源: 评论
Ada软件测试用例生成工具
收藏 引用
软件学报 1997年 第4期8卷 297-302页
作者: 奚红宇 徐红 高仲仪 北京航空航天大学软件工程研究所
软件测试是软件开发过程的一个重要环节,它的主要工作是测试用例的选择.由于人为地选择测试用例带有很大的盲目性和倾向性,因此开发一个能够自动生成测试用例的工具是十分必要的.本文阐述了软件测试用例生成的一些概念和方法,重点... 详细信息
来源: 评论