MARC状态:审校 文献类型:中文图书 浏览次数:64
- 题名/责任者:
- 可信软件与开发方法/崔梦天, 赵翠新, 王玉红著
- 出版发行项:
- 北京:科学出版社,2016
- ISBN及定价:
- 978-7-03-049300-2/CNY69.00
- 载体形态项:
- 147页:图;24cm
- 个人责任者:
- 崔梦天 著
- 个人责任者:
- 赵翠新 著
- 个人责任者:
- 王玉红 著
- 学科主题:
- 软件开发
- 中图法分类号:
- TP311.52
- 一般附注:
- 本书获得国家自然科学基金项目、四川省科技计划项目等联合资助
- 相关题名附注:
- 英文并列题名取自封面
- 责任者附注:
- 崔梦天,教授,博士后,硕士生导师,四川省学术和技术带头人后备,获国家留学基金委资助。主要从事可信软件和优化算法的教学与科研工作。
- 书目附注:
- 有书目 (第144-147页) 和索引
- 提要文摘附注:
- 本书以可信软件开发为主线,从软件实际开发过程出发,对可信软件开发的技术、方法和过程进行分析和研究,系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法。其中包括从UML模型图到B方法形式规约的比较全面的转换方法,实现形式规约、精化直到代码生产阶段的模型形式化验证及自动化过程,基于B方法的面向对象软件体系结构的形式化方法,软件过程改进及软件过程集成,软件快速开发平台设计,过程模型在平台上实现的关键技术等。
全部MARC细节信息>>