Манжос Ю.С. Семантичні моделі, методи та інформаційна технологія підвищення надійності програмного забезпечення інформаційно-управляючих систем.- Рукопис. Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 - автоматизовані системи управління і прогресивні інформаційні технології. -Національний аерокосмічний університет ім. М.Є. Жуковського "Харківський авіаційний інститут", Харків, 2006. Дисертацію присвячено підвищенню ефективності експертизи та сертифікації програмного забезпечення інформаційно-управляючих систем критичного застосування за допомогою розробки моделей та інструментальних засобів, що забезпечують незалежну семантичну верифікацію на підставі аналізу збереження на всіх проектних рівнях програмного інваріанту-семантики проірамних змінних. Розроблено метод побудови семантичних моделей програмного забезпечення, обґрунтовано їх використання для верифікації. Розроблено метод оцінки достовірності незалежної верифікації - калібрування методу, заснованого на ін'єкції програмних дефектів у семантичну модель згідно зі статистичними характеристиками програмного коду. Розроблено інструментальний засіб підтримки незалежної верифікації та експертизи програмного забезпечення інформаційно-управляючих систем. Ключові слова: семантичний простір, семантична модель незалежна верифікація, калібрування, експертиза, сертифікація.