Тітова, Віра ЮріївнаTitova, V.Y.2014-11-062014-11-062012Тітова В. Ю. Нейромережний метод для визначення якості програмного забезпечення критичного застосування / В. Ю. Тітова // Штучний інтелект. – 2012. – № 4. – С. 594-6011561-5367https://elar.khmnu.edu.ua/handle/123456789/1846У статті розглянуто задачу оцінювання якості програмного забезпечення критичного застосування. Визначено, що існуюча на сьогоднішній день модель якості є неформалізованою. А тому, авторами було запропоновано формалізовану модель якості програмного забезпечення критичного застосування.The problem of evaluation of critical software quality has been examined in the article. It is determined that the current model of quality is non-formalized. Therefore, the authors proposed the formalized model of quality of critical software.В статье рассмотрена задача оценивания качества критичного программного обеспечения. Определено, что существующая на сегодняшний день модель качества является неформализованной. А потому авторами была предложена формализованная модель качества программного обеспечения критического применения.ukтехнічні наукипрограмне забезпечення критичного застосуваннмодель якостіхарактеристики якостіформалізована модельcritical softwarequality modelquality specificationsformalized modelneural networkСтаття004.8132.81