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

Journal

Int. J. Intell. Syst.

Journal Volume

13

Journal Issue

7

Pages

587-611

Date Issued

1998

Author(s)

Lee, Jonathan

Pan, Jiann-I

DOI

10.1002/(SICI)1098-111X(199807)13:7<587

URI

https://scholars.lib.ntu.edu.tw/handle/123456789/488796

URL

https://doi.org/10.1002/(SICI)1098-111X(199807)13:7<587

Type

journal article