基于Kripke结构的UML状态图的形式语义和自动证明，赵也非，杨宗源，给UML赋予形式化的动态语义，可以在软件生命过程早期，对系统进行自动推导和证明。把模型检测应用于UML，是在软件架构中引入形式化
2023-02-27 21:34:44
328KB
1
个人根据课程材料+自己的思考总结出来的笔记版的形式语义学，如有需要可以直接跟着笔记学习形式语义学这门课，希望对大家有所帮助，谢谢！
2022-03-07 15:28:01
188.05MB
1
本课程的内容是程序设计理论的组成部分，它以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义。通过本课程的学习，使学生在计算机语言的形式语义学方面打下扎实的基础，掌握形式语义学的基本理论、基本方法和重要结论，并了解国内外最新研究动态、热点，为以后的研究做好准备。
2021-11-30 09:17:53
9.1MB
1
形式语义学是对形式语言及其句子采用形式系统方法进行语义定义的学问。
为什么需要形式语义研究：
帮助理解语言；
支持语言标准化；
指导语言设计；
帮助编写编译器和语言系统；
支持程序验证和软件可靠性；
有助于软件规范化。
2021-11-30 09:14:14
8.92MB
1
南理工 S106B007 程序设计形式语义学课件
南理工 S106B007 程序设计形式语义学课件
2021-11-21 19:18:59
10.11MB
1
形式语义学的教科书两本:形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。形式语义学是从20世纪70年代开始发展出来的一个理论阵营。
2021-11-08 22:33:27
6.61MB
1