简介
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。
更多出版物信息
- 版权： 四川大学出版社
- 出版： 2012-03-23
- 更新： 2023-03-22
- 书号：9787561457290
- 中图：TP311.52
- 学科：工学控制科学与工程工学计算机科学与技术工学软件工程
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。
