Нейромережний метод для визначення якості програмного забезпечення критичного застосування

Вантажиться...
Ескіз
Дата
2012
Автори
Тітова, Віра Юріївна
Titova, V.Y.
Назва журналу
Номер ISSN
Назва тому
Видавець
Анотація
У статті розглянуто задачу оцінювання якості програмного забезпечення критичного застосування. Визначено, що існуюча на сьогоднішній день модель якості є неформалізованою. А тому, авторами було запропоновано формалізовану модель якості програмного забезпечення критичного застосування.
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.
В статье рассмотрена задача оценивания качества критичного программного обеспечения. Определено, что существующая на сегодняшний день модель качества является неформализованной. А потому авторами была предложена формализованная модель качества программного обеспечения критического применения.
Опис
Ключові слова
технічні науки, програмне забезпечення критичного застосуванн, модель якості, характеристики якості, формалізована модель, critical software, quality model, quality specifications, formalized model, neural network
Бібліографічний опис
Тітова В. Ю. Нейромережний метод для визначення якості програмного забезпечення критичного застосування / В. Ю. Тітова // Штучний інтелект. – 2012. – № 4. – С. 594-601