B方法与形式化软件开发技术研究

书籍简介:

本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。

书籍规格:

书籍信息归属:

B方法与形式化软件开发技术研究是四川大学出版社于2012.3出版的中图分类号为 TP311.52 的主题关于 软件开发 的书籍。