论文部分内容阅读
万维网的普及和发展给软件工程师提供了交流和共享知识的场所．Ｚ是一种基于一阶谓词逻辑和集合论的形式规格说明语言．Ｚ语言用大量的数学符号和模式来构造规格说明．然而，当前的ＨＴＭＬ标准不支持在万维网上显示Ｚ规格说明所需的一些符号，此外如何在ＨＴＭＬ文件中表示模式框、公理框和类描述同样是困难的．本文实现了一种在万维网上显示Ｚ规格说明的解决方法，并给出了程序代码和实例．
The popularity and development of the World Wide Web has given software engineers a place to communicate and share knowledge. Z is a formal specification language based on first-order predicate logic and set theory. Z language with a large number of mathematical symbols and patterns to construct specifications. However, the current HTML standard does not support the display of some of the symbols required for the Z specification on the World Wide Web. In addition, it is equally difficult to represent modal boxes in HTML files. This article implements a solution to display the Z specification on the World Wide Web, and gives program code and examples.