您的位置： 专家智库 > >

俞均

作品数：1 被引量：0H指数：0
供职机构：西安工业大学计算机科学与工程学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇学分
  • 1篇学分制
  • 1篇排课
  • 1篇排课系统
  • 1篇Z规格说明
  • 1篇Z语言

机构

  • 1篇西安工业大学

作者

  • 1篇俞均
  • 1篇李峰
  • 1篇姜虹

传媒

  • 1篇现代电子技术

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种基于学分制排课系统的Z规格说明
2012年
运用形式化方法建模在软件开发过程中可提高目标系统的正确性和可靠性,在此提出了一种利用Z语言进行语义分析的方法。该方法在序列图Z规范的基础上,用属性集表示对象状态,并将序列图的上下文表示为Z形式约束,通过检查上下文约束与对象状态间的一致性对序列图进行语义分析。在此以一个基于学分制的排课系统为例,使用面向对象的形式规格说明语言Z,描述了一个精确、完整的高校排课系统的形式化数学模型。过程显示,该方法具有精确的描述性和很强的抽象性,能为软件系统的开发和验证提供科学的框架。
姜虹李峰俞均
关键词：形式化方法Z语言排课系统
全选 清除 导出
共1页<1>
聚类工具0