排序方式: 共有1条查询结果,搜索用时 31 毫秒
1
1.
万维网的普及和发展给软件工程师提供了交流和共享知识的场所。Z是一种基于一阶谓词逻辑和集合论的形式规格说明语言,Z语言用大量的数学符号和模式来构造规格说明,然而,当前的HTML标准不支持在万维网上显示Z规格说明所需的一些符号,此外如何在HTML文件中表示模式框、公理框和类描述同样是困难的,本文实现了一种在万维网上显示Z规格说明的解决方法,并给出了程序代码和实例。 相似文献
1