...下,需求规格说明必须被陈述得非常准确,因此,一系列的形式化方法,例如 Z, VDM(维也纳开发方法,Vienna Development Method),以及Larch,被开发出来制定需求 规格说明。
基于52个网页-相关网页
维也纳定义方法 Vienna definition method 维也纳程序开发方法 Vienna development method 维也纳程序开发方法规格语言 Vienna development method specification language ..
基于8个网页-相关网页
VDM Vienna Development Method 维也纳开发方法
以上来源于: WordNet
应用推荐