Search

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]

This paper describes the operating environment of the language processor intended for processing behavioral models of systems represented in natural language. This environment provides the tuning of the language processor; the main stage of this tuning is the construction of a syntactic table. An approach is proposed for automating the construction of grammar rules intended for replenishment of the syntactic table used by the language processor. [ABSTRACT FROM AUTHOR]

An approach is proposed to the construction of functional specifications and automation of the transition from natural language specifications to formal models in a format convenient for the subsequent verification and validation of these models. Texts are transformed into models with the help of the interactive system PNS. The described approach is illustrated by a detailed example. [ABSTRACT FROM AUTHOR]