DOI: 10.5593/sgem2017/21/S07.008


Y. Lipko, A. Sviridov, S. Belikova
Wednesday 13 September 2017 by Libadmin2017

References: 17th International Multidisciplinary Scientific GeoConference SGEM 2017, www.sgem.org, SGEM2017 Conference Proceedings, ISBN 978-619-7408-01-0 / ISSN 1314-2704, 29 June - 5 July, 2017, Vol. 17, Issue 21, 53-60 pp, DOI: 10.5593/sgem2017/21/S07.008


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.

Keywords: Technologies of software development, system analysis, modeling.

Home | Contact | Site Map | Site statistics | Visitors : 0 / 353063

Follow site activity en  Follow site activity INFORMATICS  Follow site activity Papers SGEM2017   ?

CrossRef Member    Indexed in ISI Web Of Knowledge   Indexed in ISI Web Of Knowledge

© Copyright 2001 International Multidisciplinary Scientific GeoConference & EXPO SGEM. All Rights Reserved.

Creative Commons License