时间属性的软件建模与验证方法

时间属性的软件建模与验证方法

许海洋, 王萍, 著

出版社:吉林大学出版社

年代:2018

定价:58.0

书籍简介:

软件形式化方法已经在工业领域得到广泛应用,形式化方法已成为提高软件可信性的重要手段。但是在CPS中,软件的体系结构会随着需求和环境而动态变化,不仅需要满足功能性要求,还要求时间等非功能属性具有可信性。如何精确地描述与验证CPS软件系统,目前国内外还没有一种统一的、成熟的建模和验证方法。CPS可信属性研究的难点在于如何精确地描述软件系统、如何从软件需求场景中抽取系统规范、如何高效地对系统进行模型检测。从而在系统设计的早期阶段尽早发现软件潜在的错误,及时纠正软件需求和系统设计中的不一致性和不完备性等问题,提高CPS软件的可信性。对计算机操作系统深入研究和教学积累编写而成。

书籍规格:

书籍详细信息
书名时间属性的软件建模与验证方法站内查询相似图书
9787569237696
如需购买下载《时间属性的软件建模与验证方法》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地长春出版单位吉林大学出版社
版次1版印次1
定价(元)58.0语种简体中文
尺寸24 × 17装帧平装
页数印数

书籍信息归属:

时间属性的软件建模与验证方法是吉林大学出版社于2018.9出版的中图分类号为 TP311.5 的主题关于 软件工程-系统建模 ,软件工程-程序校验 的书籍。