SUN Shengqiang, YANG Dajun, DING Junhua, LU: Jian. RESEARCH ON AUTOMATIC GENERATION OF STATE SPACE AND OPERATION DEFINITION IN ZJ. Journal of Computer Research and Development, 1997, 34(12).
Citation:
SUN Shengqiang, YANG Dajun, DING Junhua, LU: Jian. RESEARCH ON AUTOMATIC GENERATION OF STATE SPACE AND OPERATION DEFINITION IN ZJ. Journal of Computer Research and Development, 1997, 34(12).
SUN Shengqiang, YANG Dajun, DING Junhua, LU: Jian. RESEARCH ON AUTOMATIC GENERATION OF STATE SPACE AND OPERATION DEFINITION IN ZJ. Journal of Computer Research and Development, 1997, 34(12).
Citation:
SUN Shengqiang, YANG Dajun, DING Junhua, LU: Jian. RESEARCH ON AUTOMATIC GENERATION OF STATE SPACE AND OPERATION DEFINITION IN ZJ. Journal of Computer Research and Development, 1997, 34(12).
RESEARCH ON AUTOMATIC GENERATION OF STATE SPACE AND OPERATION DEFINITION IN Z
The automatic transition from requirements definition to formal specification is an important problem in requirements engineering. Based on the requirements definition language NDRDL and the specification language Z, this paper discusses a transformation method from NDRDL to Z, with emphasis on how to get state space and operation definition in Z from requirements definition in NDRDL.
DownLoad: