Навчально-методичні матеріали (ІСТ)
Постійне посилання зібрання
У зібранні розміщено підручники, навчальні посібники, практикуми, матеріали до курсів лекцій, програми дисциплін, авторами або укладачами яких є науково-педагогічні працівники кафедри.
Переглянути
Перегляд Навчально-методичні матеріали (ІСТ) за Ключові слова "004.422"
Зараз показуємо 1 - 4 з 4
Результатів на сторінці
Налаштування сортування
Документ Відкритий доступ Сучасні технології автоматизованого проектування та верифікації програм. Мова моделювання UML(КПІ ім. Ігоря Сікорського, 2021) Дорогий, Ярослав Юрійович; Дорога-Іванюк, Олена ОлександрівнаМетодичні вказівки призначені для студентів спеціальності 121 «Інженерія програмного забезпечення» кафедри інформаційних систем та технологій всіх форм навчання. В посібнику наведена тематика СРС, теоретичні відомості, завдання для виконання робіт, список літератури.Документ Відкритий доступ Сучасні технології автоматизованого проектування та верифікації програм. Тестування програмного забезпечення(КПІ ім. Ігоря Сікорського, 2021) Дорогий, Ярослав Юрійович; Дорога-Іванюк, Олена ОлександрівнаМетодичні вказівки призначені для студентів спеціальності 121 «Інженерія програмного забезпечення» кафедри інформаційних систем та технологій всіх форм навчання. В посібнику наведена методичні рекомендації щодо складання іспиту з дисципліни.Документ Відкритий доступ Сучасні технології автоматизованого проектування та верифікації програм. Тестування програмного забезпечення(КПІ ім. Ігоря Сікорського, 2021) Дорогий, Ярослав Юрійович; Дорога-Іванюк, Олена ОлександрівнаМетодичні вказівки призначені для студентів спеціальності 121 «Інженерія програмного забезпечення» кафедри інформаційних систем та технологій всіх форм навчання. В посібнику наведена тематика 7-и лабораторних робіт, теоретичні відомості, завдання для виконання робіт, список літератури.Документ Відкритий доступ Сучасні технології автоматизованого проектування і верифікації програм. Конспект лекцій(КПІ ім. Ігоря Сікорського, 2021) Дорогий, Ярослав Юрійович; Дорога-Іванюк, Олена ОлександрівнаКонспект лекцій з навчальної дисципліни «Сучасні технології автоматизованого проектування і верифікації програм» у компактній формі відображає матеріал курсу, допомагає сформувати загальне уявлення про предмет вивчення, правильно зорієнтуватися в даній галузі знань. Конспект лекцій з названої дисципліни сприятиме більш успішному вивченню дисципліни, причому більшою мірою для студентів очно- заочної форми, екстернату та дистанційного навчання.