Furthermore, it illuminates how to use VDM technology to develop program, and program testifying with function and operation formational specification with a instance.
然后通过一个应用实例来说明如何利用VDM技术进行软件开发，及利用函数与操作的形式化规格说明来证明程序是正确的。
Furthermore, it illuminates how to use VDM technology to develop program, and program testifying with function and operation formational specification with a instance.
然后通过一个应用实例来说明如何利用VDM技术进行软件开发，及利用函数与操作的形式化规格说明来证明程序是正确的。
应用推荐