Сучасні технології автоматизованого проектування та верифікації програм. Тестування програмного забезпечення
Вантажиться...
Дата
2021
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Методичні вказівки призначені для студентів спеціальності 121 «Інженерія
програмного забезпечення» кафедри інформаційних систем та технологій всіх
форм навчання. В посібнику наведена тематика 7-и лабораторних робіт, теоретичні
відомості, завдання для виконання робіт, список літератури.
Опис
Ключові слова
автоматизоване проектування, лабораторні роботи, тестування, програмний код, верифікація
Бібліографічний опис
Сучасні технології автоматизованого проектування та верифікації програм. Тестування програмного забезпечення [Електронний ресурс] : методичні вказівки до виконання лабораторних робіт для студентів Спеціальності 121 «Інженерія програмного забезпечення» Спеціалізації «Інженерія програмного забезпечення комп’ютерних систем» кафедри інформаційних систем та технологій всіх форм навчання / КПІ ім. Ігоря Сікорського ; уклад.: Я. Ю. Дорогий, О. О. Дорога-Іванюк. – Електронні текстові данні (1 файл: 1,68 МБ). – Київ : КПІ ім. Ігоря Сікорського, 2021. – 89 с. – Назва з екрана.