" 形式化方法   阅读了解形式化方法形式化方法|形式化方法对软件开发的挑战:历史与发展 根据表达能力,形式化方法可以分为五类: 1)基于模型的方法:通过明确定义状态和操作来建立一个系统模型(使系统从一个状态转换到另一个状态).用这种方法虽可以表示非功能性需求(诸如时间需求),但不能很好地表示并发性.如:Z语言,VDM,B方法等.2)基于逻辑的方法:用逻辑描述系统预期的性能,包括底层规约.时序和可能性行为.采用与所选逻辑相关的公理系统证明系统具有预期的性能.用具体的编程构 造扩充逻辑从而得到一种…