๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Corrections to rule-based forecasting: findings from a replication

โœ Scribed by Monica Adya


Book ID
114175123
Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
30 KB
Volume
16
Category
Article
ISSN
0169-2070

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A rule-based approach to producing Z spe
โœ Jonathan Lee; Jiann-I Pan ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 280 KB ๐Ÿ‘ 1 views

In this paper, we propose a rule-based approach called JSDZ to producing Z specifica-ลฝ . tions 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 specification