У статті розглянуто задачу оцінювання якості програмного забезпечення критичного застосування. Визначено, що існуюча на сьогоднішній день модель якості є неформалізованою. А тому авторами було запропоновано формалізовану модель якості програмного забезпечення критичного застосування.
В статье рассмотрена задача оценивания качества критичного программного обеспечения. Определено, что существующая на сегодняшний день модель качества является неформализованной. А потому авторами была предложена формализованная модель качества программного обеспечения критического применения.
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.