Дорогий, Ярослав ЮрійовичДорога-Іванюк, Олена Олександрівна2023-06-122023-06-122021Сучасні технології автоматизованого проектування та верифікації програм. Мова моделювання UML [Електронний ресурс] : методичні вказівки до організації самостійної роботи студентів (СРС) з дисципліни для студентів Спеціальності 121 «Інженерія програмного забезпечення» Спеціалізації «Інженерія програмного забезпечення комп’ютерних систем» / КПІ ім. Ігоря Сікорського ; уклад.: Я. Ю. Дорогий, О. О. Дорога-Іванюк. – Електронні текстові данні (1 файл: 2,54 МБ). – Київ : КПІ ім. Ігоря Сікорського, 2021. – 61 с. – Назва з екрана.https://ela.kpi.ua/handle/123456789/57036Методичні вказівки призначені для студентів спеціальності 121 «Інженерія програмного забезпечення» кафедри інформаційних систем та технологій всіх форм навчання. В посібнику наведена тематика СРС, теоретичні відомості, завдання для виконання робіт, список літератури.61 с.ukавтоматизоване проектуванняметодичні рекомендаціїтестуванняверифікаціяпрограмний кодLearning Object004.4220000-0003-3848-9852