形式化方法在软件开发中的应用

摘要

形式化方法是把概念、判断、推理转化成特定的形式符号后，对形式符号表达系统进行研究的方法。是用具有精确语义的形式语言书写的程序功能描述，它是设计和编制程序的出发点，也是验证程序是否正确的依据。形式化方法就是用符号化的数学变换把需求分析给准确的表述出来，这样可以确保和需求的一致性，并能用于分析和验证应用程序。