Scholarly record
A UNIFIED MODEL FOR CONVERTING TEXT REQUIREMENTS INTO FORMAL MODELS
Abstract
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 pretreatment of claims, further consider models main transformation processes. In addition to the automation of modeling and software design, a unified model for converting text requirements into formal models allows for more detailed description of the problems and needs of users. Use of the proposed model for the development of software tools to reduce the complexity of the processes of creating application software, increase their efficiency, reduce development costs and maximize the potential of new technologies.
Publication Impact Profile
- Captures
- Mendeley - Readers: 2
Publication details
References0
Structured references will appear here after the reference import pass. The count is preserved now so the scholarly record is not incomplete.
View or Download full articleAccess options
SWS access login
Login as SWS Scientific CommitteeLogin as SWS Scientific PartnerLogin as SWS AuthorAuthors and approved SWS contributors will read and export their own linked papers after identity matching by SWS profile, email and SGEM GlobalID.
For librarian assistance: [email protected]
Purchase Instant Access
- Article can be downloaded after successful payment.
- Article may be used according to SWS library access terms.
- Article cannot be redistributed.