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