M2Z: A Tool for Translating a Natural language software specification into Z

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages406
Number of pages1
Volume2495
ISBN (Print)9783540000297
Publication statusPublished - 2002
Event4th International Conference on Formal Engineering Methods, ICFEM 2002 - Shanghai, China
Duration: 21 Oct 200225 Oct 2002

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2495
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other4th International Conference on Formal Engineering Methods, ICFEM 2002
CountryChina
CityShanghai
Period21/10/0225/10/02

Fingerprint

Natural Language
Specification
Specifications
Software
Formal Specification
Knowledge
Language
Design
Formal specification

Keywords

  • Formal methods
  • Linguistic
  • Machine translation
  • Z

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Shukur, Z., Mohd. Zin, A., & Ban, A. (2002). M2Z: A Tool for Translating a Natural language software specification into Z. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2495, pp. 406). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2495). Springer Verlag.

M2Z : A Tool for Translating a Natural language software specification into Z. / Shukur, Zarina; Mohd. Zin, Abdullah; Ban, Ainita.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2495 Springer Verlag, 2002. p. 406 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2495).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Shukur, Z, Mohd. Zin, A & Ban, A 2002, M2Z: A Tool for Translating a Natural language software specification into Z. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 2495, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2495, Springer Verlag, pp. 406, 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, 21/10/02.
Shukur Z, Mohd. Zin A, Ban A. M2Z: A Tool for Translating a Natural language software specification into Z. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2495. Springer Verlag. 2002. p. 406. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Shukur, Zarina ; Mohd. Zin, Abdullah ; Ban, Ainita. / M2Z : A Tool for Translating a Natural language software specification into Z. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2495 Springer Verlag, 2002. pp. 406 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{098c1c78acc84e9b89ee123dd6145d83,
title = "M2Z: A Tool for Translating a Natural language software specification into Z",
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.",
keywords = "Formal methods, Linguistic, Machine translation, Z",
author = "Zarina Shukur and {Mohd. Zin}, Abdullah and Ainita Ban",
year = "2002",
language = "English",
isbn = "9783540000297",
volume = "2495",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "406",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - M2Z

T2 - A Tool for Translating a Natural language software specification into Z

AU - Shukur, Zarina

AU - Mohd. Zin, Abdullah

AU - Ban, Ainita

PY - 2002

Y1 - 2002

N2 - 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.

AB - 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.

KW - Formal methods

KW - Linguistic

KW - Machine translation

KW - Z

UR - http://www.scopus.com/inward/record.url?scp=84948989493&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84948989493&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84948989493

SN - 9783540000297

VL - 2495

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 406

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Verlag

ER -