A DEVELOPMENT TECHNIQUE AND MEANS FOR FORMALIZING FUNCTIONAL SPECIFICATIONS OF SOFTWARE AND HARDWARE SYSTEMS

摘要

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.