[书籍] 可信软件与开发方法
出版社:
科学出版社
简介:
《可信软件与开发方法》以可信软件开发为主线，从软件实际开发过程出发，对可信软件开发的技术、方法和过程进行分析和研究，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法。其中包括从UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约、精化直到代码生产阶段的模型形式化验证及自动化过程，基于B方法的面向对象软件体系结构的形式化方法，软件过程改进及软件过程集成，软件快速开发平台设计，过程模型在平台上实现的关键技术等。 《可信软件与开发方法》可作为高等院校计算机、软件等相关专业的软件开发理论和实践教学参考书，也可供软件开发人员、相关科研人员及大专院校师生参考。
用户推荐(0)
暂无推荐，你也可以发布推荐哦:)
0
人收藏了这本书籍
广告
登录 | 立即注册