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

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

請使用永久網址來引用或連結此文件: 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	396	檢視/開啟

在NCUIR中所有的資料項目都受到原著作權保護.

社群 sharing