书籍简介:

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

书籍规格:

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

全网搜索试读资源

书籍信息归属:

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