OOZS语言相关论文
OOZS语言是一种面向对象的形式规格说明语言,用于书写软件的形式规格说明。它是Z语言的一种扩展,用以支持面向对象的软件分析方法,提供了类......
在软件开发过程中,面向对象方法和形式方法的综合使用有助于充分利用这两种方法的优点并克服它们的不足。在Z规格说明语言的基础上,作......
OOZS是一种面向对象的形式规格说明语言,它是Z规格说明语言的一种面向对象扩展,本文结合一个四边形图形的例子对OOZS语言的应用进行说明。......