A rule-based approach to producing Z specifications from Jackson system development

NCU Institutional Repository > 資訊電機學院 > 資訊工程研究所 > 期刊論文 > Item 987654321/29162

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://ir.lib.ncu.edu.tw/handle/987654321/29162

题名:	A rule-based approach to producing Z specifications from Jackson system development
作者:	Lee,J;Pan,JI
贡献者:	資訊工程研究所
关键词:	DIAGRAMS
日期:	1998
上传时间:	2010-06-29 20:15:12 (UTC+8)
出版者:	中央大學
摘要:	In this paper, we propose a rule-based approach (called JSDZ) to producing Z specifications from Jackson system development (JSD) specifications automatically. In JSDZ, JSP is to serve as the structuring mechanism to help the analysis of problem domains, and Z is to express the formal specifications of JSD artifacts. Several criteria are identified for comparing specifications generated from JSDZ and Z. The bringing together of diagrammatical and text elements of JSD specifications in Z notations offers two major benefits. First, JSD can be seen both as a structuring mechanism that helps in deriving Z specifications, and as a preliminary that assists in ascertaining the clients requirements. Second, Z specifications make it easier to identify omissions or errors. (C) 1998 John Wiley & Sons, Inc.
關聯:	INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS
显示于类别:	[資訊工程研究所] 期刊論文

文件中的档案:

档案	描述	大小	格式	浏览次数
index.html		0Kb	HTML	436	检视/开启

在NCUIR中所有的数据项都受到原著作权保护.

社群 sharing