| 一种基于学分制排课系统的Z规格说明 |
| |
| 引用本文： | 姜虹,李峰,俞均.一种基于学分制排课系统的Z规格说明[J].现代电子技术,2012,35(12):50-53. |
| |
| 作者姓名： | 姜虹 李峰 俞均 |
| |
| 作者单位： | 西安工业大学 计算机科学与工程学院,陕西 西安,710032 |
| |
| 摘 要： | 运用形式化方法建模在软件开发过程中可提高目标系统的正确性和可靠性，在此提出了一种利用Z语言进行语义分析的方法。该方法在序列图Z规范的基础上，用属性集表示对象状态，并将序列图的上下文表示为Z形式约束，通过检查上下文约束与对象状态间的一致性对序列图进行语义分析。在此以一个基于学分制的排课系统为例，使用面向对象的形式规格说明语言Z，描述了一个精确、完整的高校排课系统的形式化数学模型。过程显示，该方法具有精确的描述性和很强的抽象性，能为软件系统的开发和验证提供科学的框架。
|
| 关 键 词： | 形式化方法 规格说明 Z语言 排课系统 |
Z specification of class scheduling system based on credit point system |
| |
| JIANG Hong
,
LI Feng
,
YU Jun.Z specification of class scheduling system based on credit point system[J].Modern Electronic Technique,2012,35(12):50-53. |
| |
| Authors: | JIANG Hong LI Feng YU Jun |
| |
| Affiliation: | (School of Computer Science & Engineering,Xi’an Technological University,Xi’an 710032,China) |
| |
| Abstract: | |
| |
| Keywords: | formalized method specification Z language class scheduling system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
