机读格式显示(MARC)

• 000 02296nam0 2200613 450

• 001 0000250737

• 005 20170628141400.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 封面英文题名：Trusted software and development methods

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

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

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

• 333 __ |a 本书可作为高等院校计算机、软件等相关专业的软件开发理论和实践教学参考书，也可供软件开发人员、相关科研人员及大专院校师生参考。

• 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 XATU |d TP311.52/279

• 920 __ |a 211010 |z 2

• 920 __ |a 237020 |z 1

• 920 __ |a 222107 |z 1

• 920 __ |a 231030 |z 1

• 920 __ |a 232020 |z 1

• 920 __ |a 231010 |z 1

• 920 __ |a 211060 |z 2

• 920 __ |a 261030 |z 1

• 920 __ |a 211030 |z 1

• 920 __ |a 215010 |z 1

• 920 __ |a 212020 |z 1

• 920 __ |a 245010 |z 1

• 920 __ |a 221020 |z 1

• 920 __ |a 237010 |z 1

• 920 __ |a 211260 |z 1

• 920 __ |a 222010 |z 1

• 920 __ |a 244050 |z 1

• 920 __ |a 242020 |z 1

• 920 __ |a 430102 |z 1

• 920 __ |a 242010 |z 1

• 920 __ |a 231020 |z 1

• 920 __ |a 232010 |z 1

• 998 __ |a OUQD