软件工程作业2021.3.31

题目：阅读了解什么是形式化方法
答：形式化方法我觉得就是一个把实体的抽象的东西形式化，分析和研究形式的结构，用字母字符数字等来抽象模拟出一个数学模型或者定义实体化中的各种属性。离散数学线性代数软件工程等学科中都运用此类方法。形式化方法中的一个重要内容是形式化规约，它对于学计算机的人来说很重要，是制作和编制程序的开始也是判断程序是否正确的基础。我们要善于利用形式化方法，这以面对对象编程时更容易解决问题。