论文研究 有遮挡三维草图的标注完备集.pdf

提出了一种面向软件行为的需求建模方法和需求描述语言BDL，介绍了需求描述语言的设计和实现方法。利用此需求建模可以根据用户的需求信息寻找出目标系统的有效行为，建立目标系统的行为模型。该行为模型可以帮助用户和开发人员正确认识和理解目标系统的行为，而且能为以后自动检测系统的各种特性提供良好的基础。