M2Z: A Tool for Translating a Natural Language Software Specification into Z

Authors:
Zarina Shukur;Abdullah Mohd Zin;Ainita Ban
Affiliations:
-;-;-
Venue:
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Year:
2002

Citing 5
Cited 0

Software development process from natural language specification

ICSE '89 Proceedings of the 11th international conference on Software engineering
The Requirements Apprentice: Automated Assistance for Requirements Acquisition

IEEE Transactions on Software Engineering
Automatic Derivation of Formal Software Specifications from Informal Descriptions

IEEE Transactions on Software Engineering
The Z notation: a reference manual

The Z notation: a reference manual
Assisting requirement formalization by means of natural language translation

Formal Methods in System Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.