找回密码
 邀请注册

QQ登录

只需一步,快速开始

查看: 342|回复: 2

工业关键系统的形式化方法:应用综述

[复制链接]

该用户从未签到

主题

0

回帖

0

积分

论坛元老

积分
0
发表于 2022-6-14 08:55:58 | 显示全部楼层 |阅读模式
工业关键系统的形式化方法:应用综述

作者:[意] Stefania Gnesi
                 Tiziana Margaria 著
             靳添絮 连晓峰 等译
出版:机械工业出版社

 形式化方法以数学为基础, 其目标是建立精确的、无二义性的语义,
对系统开发的各个阶段进行有效的描述, 使系统的结构具有先天的合理性、
正确性和良好的维护性, 能较好地满足用户需求。本书记录和展示了作者
关于形式化方法如何在工业关键系统中进行应用的研究成果。
本书分为6 部分: 第1 部分是概述; 第2 部分致力于介绍建模范例;
第3 部分介绍了包括形式化方法和相关工具的使用以及应用程序在实际系
统领域的发展; 第4 部分则向读者展示了形式化方法在通信系统中的发展
和成果; 第5 部分则介绍了形式化方法在互联网和在线服务方面的应用;
而在第6 部分则介绍了实时应用程序的形式化方法。
本书可用作高等院校计算机科学、自动化相关专业本科生、研究生以
及教师的参考用书, 也可作为业内专业人士的参考书。


本书来源于网络,只做购买前参考阅读,如果你喜欢这本书,请购买正版!请下载后24小时内删除!不得传播、转发!



游客,如果您要查看本帖隐藏内容请回复



本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有账号?邀请注册

×

该用户从未签到

14

主题

905

回帖

1225

积分

论坛元老

积分
1225
发表于 2022-6-15 13:35:49 | 显示全部楼层
发贴辛苦!支持!
  • TA的每日心情
    奋斗
    2021-9-3 20:34
  • 签到天数: 1 天

    [LV.1]初识-维修爱好者

    20

    主题

    796

    回帖

    1151

    积分

    论坛元老

    积分
    1151
    发表于 2022-6-16 03:45:30 | 显示全部楼层
    家电电工资料网就是牛!
    您需要登录后才可以回帖 登录 | 邀请注册

    本版积分规则

    QQ|手机版|家电电工资料网 ( 辽ICP备17010435号-3 )|网站地图|辽公网安备 21140202000087号

    GMT+8, 2024-12-23 20:24

    Powered by Discuz! X3.5

    © 2001-2024 Discuz! Team.

    快速回复 返回顶部 返回列表