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