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...
Main Authors: | , |
---|---|
Other Authors: | |
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 以法則為基礎之動態模擬Z規格研究 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 |