Application and Development of Linguistic Software Tools for Analyzing and Transforming the Texts of Requirements for Software Systems.

Experimental analysis of the texts of requirements for software systems by means of frequency analysis is carried out. The "timer language," i.e., a set of natural-language sentences of definite structure that describe actions with timers, is distinguished according to the results of the experiments. Means for transforming sentences of the timer language into marked structured expressions of intermediate language are developed. The intermediate language proposed can be used as an auxiliary mean in the chain of steps from the natural-language text of requirements for a system to the formal model of this system. [ABSTRACT FROM AUTHOR]