结构化面向对象形成规格说明语言OOZS：设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得 到充分体现；形式方法全目标软件系统的需求规格说明简明、精，精确，面向对象方法使目标软件系统的组织和分解工作更加系统、自然。