Engineering Journal: Science and InnovationELECTRONIC SCIENCE AND ENGINEERING PUBLICATION
Certificate of Registration Media number Эл #ФС77-53688 of 17 April 2013. ISSN 2308-6033. DOI 10.18698/2308-6033
  • Русский
  • Английский
Article

Semantic model for language objects in automation of critical software certification

Published: 02.12.2013

Authors: Butenko Yu.I., Shostak I.V.

Published in issue: #12(24)/2013

DOI: 10.18698/2308-6033-2013-12-1165

Category: Applied Mathematics

Research results of synthesis of the generalized model for semantic integrity kernel for software standards of texts and technical documentation processing automation are presented. Application of this model as a part of the computerized dialogue decision making support system at systems with intensive software use certification will provide the increase in overall performance by the certified auditor at the expense of lowering in routine work when forming a normative profile on software, and also risks reduction of incorrect decisions acceptance in software technical documentation text analysis. Linguistic basics for semantic modeling of software standards and technical documentation language is given. Formal representation of the generalized model in semantic integrity kernel of language objects for "Software normative base and technical documentation" is provided.