咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 航空宇航科学与技...
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 2 篇 飞行管理系统
  • 2 篇 四变量模型
  • 2 篇 系统需求建模与分...
  • 1 篇 轻量级形式化方法
  • 1 篇 scr方法

机构

  • 2 篇 南京航空航天大学

作者

  • 2 篇 刘力

语言

  • 2 篇 中文
检索条件"主题词=系统需求建模与分析"
2 条 记 录,以下是1-10 订阅
排序:
基于四变量模型的飞管系统需求建模与分析研究
基于四变量模型的飞管系统需求建模与分析研究
收藏 引用
作者: 刘力 南京航空航天大学
学位级别:硕士
近年来,为了确保军用和民用飞机的飞行管理系统的安全可靠性和高性能,对其需求进行建模分析研究已经成为一种重要的方法,也是模型驱动软件体系结构的重要组成部分。飞行管理系统是现代军用和民用飞机的航空电子设备的基本组成部分,可... 详细信息
来源: 评论
飞行管理系统中基于四变量模型的需求轻量化
收藏 引用
电子技术与软件工程 2017年 第4期 49-49页
作者: 刘力 南京航空航天大学计算机科学与技术学院 江苏省南京市211106
本文针对的主要工作是在系统需求层面以及设计层面上基于轻量级形式化方法对飞行管理系统系统需求进行分析与研究并且建模,研究了一种基于四变量模型的系统需求建模与分析方法,并在工程化的需求形式化建模及其分析去寻找一种有效地途径。
来源: 评论