谈文蓉，崔梦天主编；吴蓓副主编2016 年出版129 页ISBN：9787564347857
本书较为全面、系统地介绍了当前软件开发领域的理论和实践知识，反映了当前最新的软件开发理论、标准、技术和工具。 本书以项目为载体，以任务驱动的方式介绍软件开发中各阶段所需的知识、技术、方法、工具、...
崔梦天，韩伟著2012 年出版133 页ISBN：9787561457290
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...
崔梦天，张波主编；郭雪峰，孙清亮，贾丽美副主编2015 年出版256 页ISBN：9787312038211
本书较为全面、系统地介绍了当前测试领域的理论和实践知识，反映了当前最新的软件测试理论、标准、技术和工具，展望了软件测试的发展趋势。全书共分15章，主要内容包括软件测试概论、软件测试需要的离散数学知识...
崔梦天，赵翠新，王玉红著2016 年出版149 页ISBN：9787030493002
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约的精化...
