形式方法规格化说明语言-Z期末复习

形式方法规格化说明语言—Z考前复习第1章什么是形式化方法？软件形式化有什么优点？（一个是精确,另一个是可验证的。）什么是Z语言？（软件的形式规格说明语言，基于数学的一种表示,用于规格说明）软件规格说明