SNL2Z: Tool for Translating an Informal Structured Software Specification into Formal Specification
In the area of software engineering there have been very few efforts to automate the translation from specifications written in natural language to the formal specification languages. Writing of the specifications in natural language is always depending on context and it is commonly vagueness; this represents the major reasons of the challenge. This paper discusses the design of a tool for translating a software specification written in natural language into a formal specification. The authors apply controlled natural language that limits the syntax and semantics when the natural language statements been written by proposing Structured Natural Language (SNL) to avoid the ambiguity problem.