|
|
工业关键系统的形式化方法：应用综述
作者：［意］ Stefania Gnesi
Tiziana Margaria 著
靳添絮 连晓峰 等译
出版：机械工业出版社
形式化方法以数学为基础， 其目标是建立精确的、无二义性的语义，
对系统开发的各个阶段进行有效的描述， 使系统的结构具有先天的合理性、
正确性和良好的维护性， 能较好地满足用户需求。本书记录和展示了作者
关于形式化方法如何在工业关键系统中进行应用的研究成果。
本书分为6 部分： 第1 部分是概述； 第2 部分致力于介绍建模范例；
第3 部分介绍了包括形式化方法和相关工具的使用以及应用程序在实际系
统领域的发展； 第4 部分则向读者展示了形式化方法在通信系统中的发展
和成果； 第5 部分则介绍了形式化方法在互联网和在线服务方面的应用；
而在第6 部分则介绍了实时应用程序的形式化方法。
本书可用作高等院校计算机科学、自动化相关专业本科生、研究生以
及教师的参考用书， 也可作为业内专业人士的参考书。
本书来源于网络，只做购买前参考阅读，如果你喜欢这本书，请购买正版！请下载后24小时内删除！不得传播、转发！
|
本帖子中包含更多资源
您需要 登录 才可以下载或查看，没有账号？邀请注册
×
|
|手机版|家电电工资料网
( 辽ICP备17010435号-3 )|网站地图|辽公网安备 21140202000087号
发表于 2022-6-14 08:55:58
