共找到 1 项 “崔梦天，韩伟著” 相关结果
Study on B methods and formal software development technologies
作者： 崔梦天，韩伟著
出版社：四川大学出版社,2012
简介：本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。
四川大学出版社,2012
