机读格式显示(MARC)
- 000 01592nam0 2200289 450
- 010 __ |a 978-7-5661-3000-6 |d CNY49.80
- 100 __ |a 20210516d2021 em y0chiy50 ea
- 200 1_ |a 软件体系结构动态演化方法 |A ruan jian ti xi jie gou dong tai yan hua fang fa |f 徐洪珍著
- 210 __ |a 哈尔滨 |c 哈尔滨工程大学出版社 |d 2021
- 215 __ |a 175页 |c 图 |d 26cm
- 320 __ |a 有书目 (第166-175页)
- 330 __ |a 本书对软件体系结构动态演化相关的技术进行了研究,其内容包括基于超图文法的软件体系结构动态演化、软件体系结构动态演化的约束和应用条件刻画、软件体系结构动态演化的冲突检测、基于关联矩阵的软件体系结构动态演化、基于偏序矩阵的软件体系结构动态演化、基于狼群算法的软件体系结构动态演化、基于信任的软件体系结构动态演化、软件体系结构演化的形式化验证技术等。本书主要内容包括:1)软件体系结构的原子演化规则和组合演化规则;2)软件体系结构动态演化的条件超图文法建模方法;3)软件体系结构动态演化的并行、串行冲突描述和检测方法;4)基于关联矩阵的软件体系结构动态演化及其实现;5)基于遗传算法的软件体系结构动态演化及其实现;6)软件体系结构动态演化的形式化验证方法。
- 333 __ |a 本书可供从事软件动态演化、软件体系结构动态演化研究与设计的学者、技术人员及相关专业的研究生参考使用。
- 510 1_ |a Dynamic evolution method of software architecture |z eng
- 606 0_ |a 软件 |A ruan jian |x 系统结构 |x 研究
- 701 _0 |a 徐洪珍 |A xu hong zhen |4 著
- 801 _0 |a CN |b JCXA |c 20210516
- 905 __ |a WFKJXY |d TP311.5/174