需求分析与验证平台-招标公告

需求分析与验证平台-招标公告 (招标编号： ZKX20200314A030 ) 招标项目所在地区： 陕西省西安市 一、招标条件 本 需求分析与验证平台 （招标项目编号： ZKX20200314A030 ），已由项目审批/核准/备案机关批准，项目资金来源为 / ，招标人为 中航工业西安飞机设计研究所 。本项目已具备招标条件，现进行 公开招标 。 二、项目概况和招标范围 项目规模： 2. 项目概况与招标范围 2.1 招标编号：ZKX20200314A030 2.2 招标项目名称：需求分析与验证平台。 2.3 数量：1套。 2.4 主要用途： 根据用户需求采用形式化方法获取软件需求说明书并设计软件的统一建模语言(UML)模型的过程进行管理，及对该UML模型进行形式化描述，采用形式化验证技术对形式化后的UML模型进行需求验证，以确保设计的UML模型的正确性。 2.5 交货地点：中国西安阎良。 2.