崔梦天, 韩伟, 著
出版社：四川大学出版社
年代：2012
定价：28.0
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。
B方法与形式化软件开发技术研究是四川大学出版社于2012.3出版的中图分类号为 TP311.52 的主题关于 软件开发 的书籍。
古天龙, 编著
(日) 刘少英, 著
宋晓华, 李乐明, 著
张帆, 主编
张峰, 著
吴庆涛, 刘灿勋, 徐冬, 编著
(美) 汉密尔顿, 著
桑大勇, 王瑛, 吴丽华, 编著
申利民, 著