形式化软件规约Radl获取、验证与确认方法

书籍简介:

本书面向从事计算机软件科学研究的科研人员及计算机相关专业的高校教师和研究生，向读者介绍形式化软件规约获取、验证与确认相关的理论和方法学知识, 它是当前软件自动化和需求工程中两个重要的问题。本书首先对国内外在形式化软件规约生成方面的研究现状进行了系统的总结，并与作者的研究工作进行了比较。然后详细介绍了形式化软件规约语言Radl，本书使用Radl语言作为形式化软件规约的描述语言。之后详细介绍了结构化需求语言SRL，SRL语言是一种受控自然语言，用来描述问题需求。本书使用基于规则的方法，将结构化需求语言SRL通过分析-转换-综合三阶段生成为形式化软件规约Radl。在此基础上，进一步说明了结构化需求语言SRL到形式化软件规约Radl生成系统SRLtoR adl各主要组成部分的设计与实现。进而，使用范畴论框架建立了SRLtoRadl生成系统生成过程语义模型，它是生成系统高可靠性的理论基础。最后对Radl规约相对正确性问题进行了研究。本书融合了作者在该领域研究多年的工作成果和心得，不仅包含国内外有代表性的形式化软件规约获取、验证与确认方法，还深入探讨了如何获取、验证与确认形式化规约。

书籍规格:

书籍信息归属:

形式化软件规约Radl获取、验证与确认方法是上海交通大学出版社于2014.出版的中图分类号为 TP301.2 的主题关于 形式语言 的书籍。