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

书籍简介:

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

书籍规格:

书籍信息归属:

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