Browse

The paper considers the problems of requirements formalization in the implementation of software development projects, as well as ways to solve these problems. When developing a unified model for converting requirements into a formal model, a static model describing the general concepts of the transformation of requirements into a formal model and their relations will be considered, taxonomies that classify and define the main types of requirements imposed on the requirements of the rule, approaches for pretreatme...