公共文化服务平台

共 2 条记录，以下是 1-2

全选清除导出

排序方式：

一种在Internet环境下提交与发布Z规格说明的方法: 2004年; 用形式方法开发软件可提高软件系统的正确性和可靠性 ,并可提高软件开发的效率。Z是一种基于状态的形式规格说明语言。但是一直以来形式方法在工业上不能得到普遍的应用 ,一个原因是它缺乏有效的支持工具以及向通用的工业标准转化的连接。本文首先用JAVA语言和XML开发了一种方法 ,使得用户能够在不同的平台上、不同的浏览器上利用GUI的方式编辑Z规格说明 ,进而转化成服务器端的以XML方式描述的Z模式。通过XSL所定义的格式 ,又将以XML方式描述的Z发布到网页上。; 羊冬昭缪淮扣刘玲; 关键词：INTERNET Z规格说明软件系统 JAVA语言 XML

Object-Z编辑器的分析、设计和实现: 该文介绍了一个用JDK1.2.2编写的Object-Z编辑器的核心部分,通过Object-Z编辑器的帮助,用户可以很容易地以图形化的方式输入Box风格的Object-Z规格说明.通过转换引擎的帮助,用户可以立刻得到和Bo...; 羊冬昭; 关键词：编辑器软件测试; 文献传递

全选清除导出

共1页<1>

羊冬昭