维也纳开发法-一流百科

维也纳开发法

维也纳开发法维也纳开发法（VDM）是基于计算机的系统开发中历史最悠久的形式化方法之一。起源于20世纪70年代IBM维也纳实验室的工作，它已经发展到包括一组基...

词条百科