| 一种在万维网上显示Z规格说明的方法 |
| |
| 引用本文： | 陈怡海,缪淮扣,邵书滨.一种在万维网上显示Z规格说明的方法[J].上海大学学报(自然科学版),2000,6(6):516-520. |
| |
| 作者姓名： | 陈怡海 缪淮扣 邵书滨 |
| |
| 作者单位： | 上海大学,计算机工程与科学学院,上海,200072 |
| |
| 基金项目： | 国家自然科学基金!（699773038），美国AM基金资助项目 |
| |
| 摘 要： | 万维网的普及和发展给软件工程师提供了交流和共享知识的场所。Ｚ是一种基于一阶谓词逻辑和集合论的形式规格说明语言，Ｚ语言用大量的数学符号和模式来构造规格说明，然而，当前的ＨＴＭＬ标准不支持在万维网上显示Ｚ规格说明所需的一些符号，此外如何在ＨＴＭＬ文件中表示模式框、公理框和类描述同样是困难的，本文实现了一种在万维网上显示Ｚ规格说明的解决方法，并给出了程序代码和实例。
|
| 关 键 词： | Z规格说明 HTML 万维网 Z语言 软件开发 显示 |
| 修稿时间： | 2000-06-07 |
Presentation of Z Specifications on the World Wide Web |
| |
| CHEN Yi-hai,MIAO Huai-kou,SHAO Shu-bin.Presentation of Z Specifications on the World Wide Web[J].Journal of Shanghai University(Natural Science),2000,6(6):516-520. |
| |
| Authors: | CHEN Yi-hai MIAO Huai-kou SHAO Shu-bin |
| |
| Abstract: | |
| |
| Keywords: | Z specification ZSL WWW HTML |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
