| Б73 |
Богдан, І. В.
Методи та інструментальні засоби верифікації моделей об'єктивно-орієнтованих програм [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 05.13.06 - інформаційні технології / Богдан Ірина Валентинівна. – Чернігів : ЧНТУ, 2015. – 20 с.
У роботі сформульована проблема знаходження помилок в програмному забезпеченні на максимально ранніх етапах його створення і необхідності підвищення якості програм в цілому.
|
