机读格式显示(MARC)

• 000 01555nam0 2200337 450

• 001 0000589876

• 005 20170610105700.0

• 010 __ |a 978-7-03-049300-2 |d CNY69.00

• 099 __ |a CAL 012016110487

• 100 __ |a 20160927d2016 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a a 001yy

• 106 __ |a r

• 200 1_ |a 可信软件与开发方法 |A ke xin ruan jian yu kai fa fang fa |f 崔梦天, 赵翠新, 王玉红著

• 210 __ |a 北京 |c 科学出版社 |d 2016

• 215 __ |a 147页 |c 图 |d 24cm

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

• 312 __ |a 英文并列题名取自封面

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

• 320 __ |a 有书目 (第144-147页) 和索引

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

• 510 1_ |a Trusted software and development methods |z eng

• 606 0_ |a 软件开发 |A ruan jian kai fa

• 690 __ |a TP311.52 |v 5

• 701 _0 |a 崔梦天 |A cui meng tian |4 著

• 701 _0 |a 赵翠新 |A zhao cui xin |4 著

• 701 _0 |a 王玉红 |A wang yu hong |4 著

• 801 _0 |a CN |b OUQD |c 20160927

• 905 __ |a SCNU |f TP311.52/2241

• 920 __ |a 242430 |z 1