Automatic Transition of Natural Language Software Requirements Specification into Formal Presentation

Abstract. Software requirements specification is a critical activity of the soft-ware process, as errors at this stage inevitably lead to problems later on in sys-tem design and implementation. The requirements are written in natural lan-guage, with the potential for ambiguity, contradiction or misunderstanding, or simply an inability of developers to deal with a large amount of information. This paper proposes a methodology for the natural language processing of tex-tual descriptions of the requirements of an unlimited natural language and their automatic mapping to the object-oriented analysis model.