飞行管理系统中基于四变量模型的需求轻量化

本文针对的主要工作是在系统需求层面以及设计层面上基于轻量级形式化方法对飞行管理系统的系统需求进行分析与研究并且建模,研究了一种基于四变量模型的系统需求建模与分析方法,并在工程化的需求形式化建模及其分析去寻找一种有效地途径。