HOME
Full Articles List
Search by Author
Title: A UNIFIED MODEL FOR CONVERTING TEXT REQUIREMENTS INTO FORMAL MODELS
BibTex 
Open this article in the author's DB |
|
A UNIFIED MODEL FOR CONVERTING TEXT REQUIREMENTS INTO FORMAL MODELS
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
1314-2704
|
|
|
|
||
|
|
English
|
|
|
|
17
|
|
|
|
21
|
|
|
|
|
|
|
|
||
|
|
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.
|
|
|
|
conference
|
|
|
|
||
|
|
||
|
|
17th International Multidisciplinary Scientific GeoConference SGEM 2017
|
|
|
|
17th International Multidisciplinary Scientific GeoConference SGEM 2017, 29 June - 5 July, 2017
|
|
|
|
Proceedings Paper
|
|
|
|
STEF92 Technology
|
|
|
|
International Multidisciplinary Scientific GeoConference-SGEM
|
|
|
|
Bulgarian Acad Sci; Acad Sci Czech Republ; Latvian Acad Sci; Polish Acad Sci; Russian Acad Sci; Serbian Acad Sci & Arts; Slovak Acad Sci; Natl Acad Sci Ukraine; Natl Acad Sci Armenia; Sci Council Japan; World Acad Sci; European Acad Sci, Arts & Letters; Ac
|
|
|
|
53-60
|
|
|
|
29 June - 5 July, 2017
|
|
|
|
website
|
|
|
|
cdrom
|
|
|
|
2936
|
|
|
|
Technologies of software development; system analysis; modeling.
|
|
Download PDF