Сучасні технології автоматизованого проектування та верифікації програм. Мова моделювання UML

dc.contributor.authorДорогий, Ярослав Юрійович
dc.contributor.authorДорога-Іванюк, Олена Олександрівна
dc.date.accessioned2023-06-12T12:28:15Z
dc.date.available2023-06-12T12:28:15Z
dc.date.issued2021
dc.description.abstractМетодичні вказівки призначені для студентів спеціальності 121 «Інженерія програмного забезпечення» кафедри інформаційних систем та технологій всіх форм навчання. В посібнику наведена тематика СРС, теоретичні відомості, завдання для виконання робіт, список літератури.uk
dc.format.extent61 с.uk
dc.identifier.citationСучасні технології автоматизованого проектування та верифікації програм. Мова моделювання UML [Електронний ресурс] : методичні вказівки до організації самостійної роботи студентів (СРС) з дисципліни для студентів Спеціальності 121 «Інженерія програмного забезпечення» Спеціалізації «Інженерія програмного забезпечення комп’ютерних систем» / КПІ ім. Ігоря Сікорського ; уклад.: Я. Ю. Дорогий, О. О. Дорога-Іванюк. – Електронні текстові данні (1 файл: 2,54 МБ). – Київ : КПІ ім. Ігоря Сікорського, 2021. – 61 с. – Назва з екрана.uk
dc.identifier.orcid0000-0003-3848-9852uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/57036
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.subjectавтоматизоване проектуванняuk
dc.subjectметодичні рекомендаціїuk
dc.subjectтестуванняuk
dc.subjectверифікаціяuk
dc.subjectпрограмний кодuk
dc.subject.udc004.422uk
dc.titleСучасні технології автоматизованого проектування та верифікації програм. Мова моделювання UMLuk
dc.typeLearning Objectuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Вантажиться...
Ескіз
Назва:
stapvp_srs_uml.pdf
Розмір:
2.48 MB
Формат:
Adobe Portable Document Format
Опис:
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.1 KB
Формат:
Item-specific license agreed upon to submission
Опис: