形式规格说明语言相关论文
近年来，为了保证各种软件的正确性和提高软件的可维护性、可重用性，人们对软件形式方法的研究越来越广泛和深入，形式方法的研究之所以......
形式规格说明语言基于严密的数学和逻辑，它是精确的，无二义性的语言。形式规格说明语言克服了非形式化语言的二义性，但是它并不能完全......
Z是目前应用最为广泛的一种形式规格说明语言,它以一阶谓词逻辑和集合论作为其形式语义基础,具有简明、精确的特点。主要用于软件......
