可信软件与开发方法.pdf 本书以可信软件开发为主线，从软件实际开发过程出发，对可信软件开发的技术、方法和过程进行分析和研究，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法。其中包括从UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约、精化直到代码生产阶段的模型形式化验证及自动 叁号仓库 2022年07月15日 0 点赞 0 评论 3926 浏览
