机读格式显示(MARC)

• 000 01237nam0 2200241 450

• 001 0001293472

• 005 20231119110400.0

• 010 __ |a 978-7-5612-8233-5 |d CNY58.00

• 100 __ |a 20230717d2022 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 610000

• 105 __ |a a z 000yy

• 106 __ |a r

• 200 1_ |a 复杂信息系统自适应软件建模与可靠性验证方法 |A fu za xin xi xi tong zi shi ying ruan jian jian mo yu ke kao xing yan zheng fang fa |b 专著 |f 韩德帅，马光莲著

• 210 __ |a 西安 |c 西北工业大学出版社 |d 2022

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

• 330 __ |a 本书共6章，其中，第1章介绍了自适应软件建模与验证相关的基础知识，包括自适应软件基本概念、基本术语；第2章介绍了复杂信息系统自适应逻辑建模与验证技术，包括可视化建模、模型转换、形式化建模与验证等；第3章介绍了复杂信息系统自适应过程时间特性建模与分析，包括时间特性定义、建模与形式化验证分析等；第4章介绍了复杂信息系统自适应行为不确定性建模与决策，包括不确定性建模、基于不确定性的自适应决策等；第5章介绍了自适应软件建模与验证支撑工具开发方法；第6章介绍了自适应软件建模与验证方法的案例应用。

• 606 0_ |a 信息系统 |A xin xi xi tong |x 研究

• 690 __ |a G202 |v 5

• 701 _0 |a 韩德帅 |A han de shuai |4 著

• 701 _0 |a 马光莲 |A ma guang lian |4 著

• 801 _0 |a CN |b ZPHC |c 20231119

• 905 __ |a ZPHC |d G202/946