您的位置: 专家智库 > >

孙宁

作品数:7 被引量:11H指数:2
供职机构:中国人民解放军海军装备研究院更多>>
发文基金:国家重点实验室开放基金武汉大学校科研和教改项目更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 5篇期刊文章
  • 2篇会议论文

领域

  • 7篇自动化与计算...

主题

  • 2篇软件工程
  • 1篇形式化
  • 1篇软件测试
  • 1篇软件开发
  • 1篇软件设计
  • 1篇软件设计方法
  • 1篇设计方法
  • 1篇数据窗口
  • 1篇数据库
  • 1篇数学
  • 1篇数学基础
  • 1篇数学模型
  • 1篇人工智能
  • 1篇人机
  • 1篇人机界面
  • 1篇自动化
  • 1篇自动化研究
  • 1篇组件
  • 1篇组件软件
  • 1篇流函数

机构

  • 6篇中国人民解放...
  • 2篇中国人民解放...
  • 1篇华中科技大学
  • 1篇武汉大学
  • 1篇中电科技(北...

作者

  • 7篇孙宁
  • 1篇王芳
  • 1篇黄志军
  • 1篇黄志军
  • 1篇孙宁
  • 1篇李岩

传媒

  • 2篇舰船电子工程
  • 1篇计算机工程与...
  • 1篇计算机应用研...
  • 1篇计算机与数字...
  • 1篇2002年全...
  • 1篇2003中国...

年份

  • 1篇2014
  • 1篇2005
  • 2篇2003
  • 2篇2002
  • 1篇2000
7 条 记 录,以下是 1-7
排序方式:
文档测试与文档过程成熟度模型探讨被引量:3
2002年
指出了如何测试文档 ,概述了最新的文档过程成熟度模型 ,探讨了成熟度等级、关键实践、评分方案和评估报告。指出正是关键实践的满意度推动了评估并为过程改进提供了所需关键信息。
孙宁贲可荣
关键词:成熟度等级
软件工程中描述技术的数学基础
本文的目的是实现一个反映出方法理论核心的数学理论,它不仅能给出描述方法语义而且能够解释并证明该方法的数学合理性.
孙宁贲可荣
关键词:数学基础形式化数学模型流函数
文献传递
计算机科学中的待解问题综述被引量:1
2005年
本文从计算理论、人工智能基础和计算机系统等三方面阐述了计算机科学领域中的待解问题,其中任何一个问题的解决都会极大地推动计算机科学的发展。
贲可荣孙宁
关键词:计算机科学人工智能计算机系统
数据库动态查询模块的设计与实现被引量:2
2000年
在介绍数据库SQL查询语言原理的基础上,结合具体应用对PB6.0环境下实现动态查询技术进行了研究探讨。
黄志军黄志军孙宁孙宁
关键词:数据窗口关系数据库
装备软件接口测试自动化研究被引量:4
2014年
装备软件与相关设备交联复杂,接口测试成为软件测试的重点和难点。对接口协议进行验证是接口测试中的主要内容。接口测试工作量大,耗时长,大量的重复性工作集中在数据筛选和结果验证上。将测试自动化技术引入到测试的输入输出中,通过工具代替人的重复性劳动,达到提高测试效率和质量的目的。
孙宁刘丹
关键词:软件测试接口测试测试自动化
基于组件软件的可靠性分配研究及实现
提出了从领域特定的应用中结合操作剖面进行可靠性分配来得到组件软件质量标准的合理性,特别考虑了使用可靠性已知的第三方组件时进行可靠性分配的方法.设计并实现了基于组件软件的可靠性分配工具.该方法对系统开发,组件质量,风险分析...
孙宁贲可荣
关键词:组件软件软件开发
文献传递
异构分布环境下监控系统软件设计方法被引量:1
2003年
介绍了在异构、分布式环境下对连续过程仿真进行实时监控的软件设计和开发方法 ,包括基于组态软件Intouch 的人机界面开发、多进程程序设计、进程之间的通信、不同平台之间的数据格式转换。
孙宁贲可荣王芳
关键词:监控系统软件设计INTOUCH人机界面进程通信净室软件工程
共1页<1>
聚类工具0