书目信息 机读格式(MARC)
复杂信息系统自适应软件建模与可靠性验证方法
| ISBN/价格： | 978-7-5612-8233-5:CNY58.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 610000 |
| 题名责任者项： | 复杂信息系统自适应软件建模与可靠性验证方法/.韩德帅, 马光莲著 |
| 出版发行项： | 西安:,西北工业大学出版社:,2022.8 |
| 载体形态项： | 158页:;+图:;+24cm |
| 提要文摘： | 本书共6章，其中，第1章重点介绍了自适应软件建模与验证相关的基础知识，包括自适应软件基本概念、基本术语；第2章重点介绍了复杂信息系统自适应逻辑建模与验证技术，包括可视化建模、模型转换、形式化建模与验证等；第3章重点介绍了复杂信息系统自适应时间特性建模与分析，包括时间特性定义、建模与形式化验证分析等，第4章重点介绍了复杂信息系统自适应行为不确定性建模与决策，包括不确定性建模、基于不确定性的自适应决策等；第5章重点介绍自适应软件建模与验证支撑工具开发方法；第6章介绍了自适应软件建模与验证方法的案例应用。 |
| 题名主题： | 信息系统 研究 |
| 中图分类： | G202 |
| 个人名称等同： | 韩德帅 著 |
| 个人名称等同： | 马光莲 著 |
| 记录来源： | CN 百万庄 20230128 |