需求建模语言相关论文
交通需求建模语言是与交通需求软件相伴而生的,一般作为简化交通需求建模工作流程、扩展需求软件功能的工具,故需求建模语言是交通......
针对由周期行为和模式转换机制组成的实时系统提出的SPARDL需求建模语言,详细阐明了其对应的SPARDL模型的Event-B解释。通过Event-......
武器装备体系需求分析技术是决定未来我军武器装备发展方向的关键技术。长期以来,武器装备体系需求分析技术一直还面临着以下四个......
