软件工程语言Z.pdf 下载 q63180 27 0 PDF 2020-05-17 20:05:34 软件工程中的形式化方法是一种基于数学的软件开发方法,它可应用于软件工程的各个阶段。Z本身是一个书写规格说明的语言,或者说是一种表示法,它是目前人们非常感兴趣的一种规格说明方法。它是由著名计算机科学家Hoare所在的牛津大学程序设计研究组(PRG)的学者在80年代初设计开发的。 立即下载 微信扫一扫:分享 微信里点“发现”,扫一下 二维码便可将本文分享至朋友圈。