维也纳开发方法相关硕士博士期刊学术论文

维也纳开发方法相关论文

利用目前使用最为广泛的形式化验证语言VDM＋＋在描述系统模型的语法和语义上的精确、一致的特点，结合VDMTOOLS和Rational Rose工具把UM......

期刊