Asian Journal of Information Technology

126
Views

1
Downloads

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

Zarina Shukur , Abdullah Md. Zin , Ainita Ban and See Cze Ping
Page: 272-279 | Received 21 Sep 2022, Published online: 21 Sep 2022

By Research Area

Medicine & Public Health Life Sciences Engineering Mathematics Biomedicine Physics Chemistry Computer Science Earth Sciences Social Sciences Business and Management Psychology Materials Science Economics Education Environment Philosophy Statistics Law Political Science and International Relations Pharmacy Dentistry Energy Linguistics Geography Finance Criminology and Criminal Justice Medicine Cultural and Media Studies History Architecture / Design Literature Biomedical Sciences Religious Studies Education & Language Food Science & Nutrition Public Health

By Volume and Issue

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 . A Tool for Translating A Software Specification Written in Malay into A Formal Statements in Z.
DOI: https://doi.org/10.36478/ajit.2006.272.279
URL: https://www.makhillpublications.co/view-article/1682-3915/ajit.2006.272.279