形式语言B与OOZS的比较

介绍了形式化方法B方法和OOZS方法,从软件开发的角度对二者进行了比较,归纳了异同和各自适用范围。不同形式规格说明语言有各自的特点及适用范围。OOZS语言目前尚缺乏严格的形式理论基础,使得OOZS语言的自动推理工具和验证工具的开发尚缺乏坚实的基础。B方法中的精华和实现是很多形式化开发方法所没有的,他在规格说明的基础上可直接生成可执行系统,并在整个开发过程中通过正确性验证,保证了软件产品的高可靠性、可移植性和可维护性,有效地提高软件的生产率。