论文部分内容阅读
为了使目标软件系统具有较高的可靠性和正确性、并易于维护,在系统的需求规格说明中引入了形式化方法.使用面向对象的形式规格说明语言Z,以一个复杂的NP完全问题——排课问题为例,描述了构建一个排课系统的形式化模型的过程,并用Java实现了模型中的一个实例.结果表明,形式化模型能够精确地定义和描述目标系统的数据模型、状态和操作,大大提高系统设计和开发的质量.