
A UNIFIED MODEL FOR CONVERTING TEXT REQUIREMENTS INTO FORMAL MODELS
(STEF92 Technology, 2017-06-20, Yulia Lipko, Alexander Sviridov, Svetlana Belikova)
Show more
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...
