A Rule-Based Approach to Animating Z Specifications

碩士 === 國立中央大學 === 資訊工程研究所 === 85 === The validation of the dynamic properties at the requirements phase is usually not available for most of the existing requirements analysis methods. In this paper, we advocate a rule-based approach to animating the dyna...

Full description

Bibliographic Details
Main Authors:	Liao, Wen-Hung, 廖文宏
Other Authors:	Jonathan Lee
Format:	Others
Language:	zh-TW
Published:	1997
Online Access:	http://ndltd.ncl.edu.tw/handle/00290447914348149752

id	ndltd-TW-085NCU00392030
record_format	oai_dc
spelling	ndltd-TW-085NCU003920302015-10-13T17:59:41Z http://ndltd.ncl.edu.tw/handle/00290447914348149752 A Rule-Based Approach to Animating Z Specifications 以法則為基礎之動態模擬Ｚ規格研究 Liao, Wen-Hung 廖文宏碩士國立中央大學資訊工程研究所 85 The validation of the dynamic properties at the requirements phase is usually not available for most of the existing requirements analysis methods. In this paper, we advocate a rule-based approach to animating the dynamic behavior of specifications through the simulation of the mathematical structures in Z. Translation rules are identified between Z and CLIPS (called Z/CLIPS translator), and are embedded with JSDZ which is an integrated development environment for informal (JSD) and formal (Z) methods. Jonathan Lee 李允中 --- 1997 學位論文 ; thesis 72 zh-TW
collection	NDLTD
language	zh-TW
format	Others
sources	NDLTD
description	碩士 === 國立中央大學 === 資訊工程研究所 === 85 === The validation of the dynamic properties at the requirements phase is usually not available for most of the existing requirements analysis methods. In this paper, we advocate a rule-based approach to animating the dynamic behavior of specifications through the simulation of the mathematical structures in Z. Translation rules are identified between Z and CLIPS (called Z/CLIPS translator), and are embedded with JSDZ which is an integrated development environment for informal (JSD) and formal (Z) methods.
author2	Jonathan Lee
author_facet	Jonathan Lee Liao, Wen-Hung 廖文宏
author	Liao, Wen-Hung 廖文宏
spellingShingle	Liao, Wen-Hung 廖文宏 A Rule-Based Approach to Animating Z Specifications
author_sort	Liao, Wen-Hung
title	A Rule-Based Approach to Animating Z Specifications
title_short	A Rule-Based Approach to Animating Z Specifications
title_full	A Rule-Based Approach to Animating Z Specifications
title_fullStr	A Rule-Based Approach to Animating Z Specifications
title_full_unstemmed	A Rule-Based Approach to Animating Z Specifications
title_sort	rule-based approach to animating z specifications
publishDate	1997
url	http://ndltd.ncl.edu.tw/handle/00290447914348149752
work_keys_str_mv	AT liaowenhung arulebasedapproachtoanimatingzspecifications AT liàowénhóng arulebasedapproachtoanimatingzspecifications AT liaowenhung yǐfǎzéwèijīchǔzhīdòngtàimónǐzguīgéyánjiū AT liàowénhóng yǐfǎzéwèijīchǔzhīdòngtàimónǐzguīgéyánjiū AT liaowenhung rulebasedapproachtoanimatingzspecifications AT liàowénhóng rulebasedapproachtoanimatingzspecifications
_version_	1717786889359982592

A Rule-Based Approach to Animating Z Specifications

Similar Items