M2Z

This paper discusses the design of a tool for translating a natural language software specification into a formal specification. The input to the tool are basic information about the system to be specified and a statement describing the specification of the system written in the Malay language. The basic information is used as the basic knowledge about the system. By using this basic knowledge, the specification statement will be translated and semantically interpreted in order to produce an equivalent statement in Z.

References in zbMATH (referenced in 1 article , 1 standard article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Shukur, Zarina; Zin, Abdullah Md.; Ban, Ainita: M2Z: A tool for translating a natural language software specification into Z (2002)