中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

可信软件与开发方法/崔梦天, 赵翠新, 王玉红著

出版发行项:

北京:科学出版社,2016

ISBN及定价:

978-7-03-049300-2/CNY69.00

载体形态项:

147页:图;24cm

并列正题名:

Trusted software and development methods

个人责任者:

崔梦天 著

个人责任者:

赵翠新 著

个人责任者:

王玉红 著

学科主题:

软件开发

中图法分类号:

TP311.52

一般附注:

本书获得国家自然科学基金项目、四川省科技计划项目等联合资助

相关题名附注:

英文并列题名取自封面

责任者附注:

崔梦天，教授，博士后，硕士生导师，四川省学术和技术带头人后备，获国家留学基金委资助。主要从事可信软件和优化算法的教学与科研工作。

书目附注:

有书目 (第144-147页) 和索引

提要文摘附注:

本书以可信软件开发为主线，从软件实际开发过程出发，对可信软件开发的技术、方法和过程进行分析和研究，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法。其中包括从UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约、精化直到代码生产阶段的模型形式化验证及自动化过程，基于B方法的面向对象软件体系结构的形式化方法，软件过程改进及软件过程集成，软件快速开发平台设计，过程模型在平台上实现的关键技术等。

豆瓣简介：