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