TY  - JOUR
T1  - A Tool for Translating A Software Specification  Written in Malay into A Formal Statements in Z
AU - , Zarina Shukur AU - , Abdullah Md. Zin AU - , Ainita Ban AU - , See Cze Ping 
JO  - Asian Journal of Information Technology
VL  - 5
IS  - 3
SP  - 272
EP  - 279
PY  - 2006
DA  - 2001/08/19
SN  - 1682-3915
DO  - ajit.2006.272.279
UR  - https://makhillpublications.co/view-article.php?doi=ajit.2006.272.279
KW  - Formal methods
KW  -machine translation
KW  -linguistic
KW  -Z
AB  - This study discusses the design and implementation 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. This language is widely spoken in South East Asia. The basic information is used as the basic knowledge about the system. By using this basic knowledge, a specification statement will be translated and semantically interpreted in order to produce an equivalent statement in Z.
ER  -