Тітова, В.Ю.
(Штучний інтелект, 2012)
У статті розглянуто задачу оцінювання якості програмного забезпечення критичного застосування. Визначено, що існуюча на сьогоднішній день модель якості є неформалізованою. А тому авторами було запропоновано формалізовану ...