书目详细信息
： 可信软件与开发方法
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-03-049300-2:CNY69.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 可信软件与开发方法/.崔梦天, 赵翠新, 王玉红著 |
| 出版发行项： | 北京:,科学出版社:,2016.06 |
| 载体形态项： | 147页:;+图:;+24cm |
| 一般附注： | 本书获得国家自然科学基金项目 (编号: 61379019) 、四川省科技计划项目 (编号: 2015JY002) 等联合资助 |
| 相关题名附注： | 英文题名取自封面 |
| 提要文摘： | 本书从软件实际开发过程出发, 将形式化技术应用于每个开发阶段, 系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法, 其中包括UML模型图到B方法形式规约的比较全面的转换方法, 实现形式规约的精化过程, 形式化B方法的验证技术, 从UML形式化规约的逐步精化的规范与方法问题, 整个规约、精化直到代码生产阶段的模型形式化验证及自动化, 基于B方法的面向对象软件体系结构的形式化方法。 |
| 并列题名： | Trusted software and development methods eng |
| 题名主题： | 软件开发 |
| 中图分类： | TP311.52 |
| 个人名称等同： | 崔梦天 著 |
| 个人名称等同： | 赵翠新 著 |
| 个人名称等同： | 王玉红 著 |
| 记录来源： | CN 人天书店 20160819 |