VDM:维也纳发展方法
“维也纳开发方法”(Vienna Development Method,简称VDM)是一种在计算机科学和软件工程领域广泛应用的开发方法,常以缩写VDM指代以方便书写和使用。该方法由维也纳实验室提出,用于系统化的软件规范与设计,在形式化建模和软件验证中具有重要价值。
Vienna Development Method具体释义
Vienna Development Method的英文发音
例句
- This paper introduces a formalized analysis method for software development : Vienna Development Method(VDM) ( VDM ).
- 介绍了软件开发方法中的一种形式化分析方法:Viennadevelopmentmethod(VDM)。
本站英语缩略词为个人收集整理,可供非商业用途的复制、使用及分享,但严禁任何形式的采集或批量盗用
若VDM词条信息存在错误、不当之处或涉及侵权,请及时联系我们处理:675289112@qq.com。