您的位置： 专家智库 > >

西安工业大学校长基金(XAGDXJJ0620)

作品数：1 被引量：0H指数：0
相关作者：喻钧容晓峰曹子建更多>>
相关机构：西安工业大学更多>>
发文基金：西安工业大学校长基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇排课
  • 1篇排课问题
  • 1篇规格说明语言
  • 1篇Z语言
  • 1篇Z

机构

  • 1篇西安工业大学

作者

  • 1篇曹子建
  • 1篇容晓峰
  • 1篇喻钧

传媒

  • 1篇西安工业大学...

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
用Z语言描述排课问题的形式化模型
2008年
为了使目标软件系统具有较高的可靠性和正确性、并易于维护,在系统的需求规格说明中引入了形式化方法.使用面向对象的形式规格说明语言Z,以一个复杂的NP完全问题——排课问题为例,描述了构建一个排课系统的形式化模型的过程,并用Java实现了模型中的一个实例.结果表明,形式化模型能够精确地定义和描述目标系统的数据模型、状态和操作,大大提高系统设计和开发的质量.
喻钧容晓峰曹子建
关键词：形式化方法排课问题
全选 清除 导出
共1页<1>
聚类工具0