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

Lee, JonathanJonathanLeePan, Jiann-IJiann-IPanJONATHAN LEE2020-05-042020-05-041998https://scholars.lib.ntu.edu.tw/handle/123456789/488796A rule-based approach to producing Z specifications from Jackson system development.journal article10.1002/(SICI)1098-111X(199807)13:7<587https://doi.org/10.1002/(SICI)1098-111X(199807)13:7<587