Наукова періодика України | Information, computing and intelligent systems | ||
Салапатов В. І. Моделювання, верифікація та розробка програм / В. І. Салапатов // Вісник Національного технічного університету України "КПІ". Інформатика, управління та обчислювальна техніка. - 2014. - Вип. 61. - С. 174-177. - Режим доступу: http://nbuv.gov.ua/UJRN/Vkpi_iuot_2014_61_21 Розглянуто вдосконалення методу MODEL CHECKING за створення програм. При цьому технічне завдання у вигляді низки вимог, які записуються за допомогою рівнянь темпоральної логіки, використовуються безпосередньо для побудови автоматної моделі майбутньої програми. Таким чином, під час створення моделі одразу здійснюється її верифікація, оскільки вимоги будуть виконуватись у процесі побудови моделі. В подальшому автоматна модель, яка являє собою логічну структуру програми, використовується для створення програми на будь-якій процедурній мові програмування. Цитованість авторів публікації: Бібліографічний опис для цитування: Салапатов В. І. Моделювання, верифікація та розробка програм / В. І. Салапатов // Вісник Національного технічного університету України "КПІ". Інформатика, управління та обчислювальна техніка. - 2014. - Вип. 61. - С. 174-177. - Режим доступу: http://nbuv.gov.ua/UJRN/Vkpi_iuot_2014_61_21. Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |