软件工程的形式化方法是描述系统性质的基于数学的技术,也就是说,如果一种方法有坚实的数学基础,那么它就是形式化。因为形式化是基于数学的基础上的,所以它能够简洁准确地描述物理现象、对象或动作的结果,同时也特别适合表示状态,表达客户的需求,详细的描述出客户的需求,它可以在不同的软件工程活动之间平衡地过渡,软件工程中的形式化方法也可以说是通过严格的符号系统和数学模型来描述和验证一个目标软件系统的行为和特性,包括需求规格、设计和实现等。形式化方法所使用的是严格的数学语言,其语法和语义都是无二义的、精确的。