Asian Journal of Information Technology

Year: 2006
Volume: 5
Issue: 3
Page No. 272 - 279

A Tool for Translating A Software Specification Written in Malay into A Formal Statements in Z

Authors : Zarina Shukur , Abdullah Md. Zin , Ainita Ban and See Cze Ping

Abstract: 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.

How to cite this article:

Zarina Shukur , Abdullah Md. Zin , Ainita Ban and See Cze Ping , 2006. A Tool for Translating A Software Specification Written in Malay into A Formal Statements in Z. Asian Journal of Information Technology, 5: 272-279.

Design and power by Medwell Web Development Team. © Medwell Publishing 2022 All Rights Reserved