Конюхов, С. Л. та Храпач, О. В. (2016) Проектирование содержания и структуры онлайн-курса «Методы верификации и оптимизации программ». Университетская Наука (1). с. 234-238. ISSN 2500-2724
Text
Конюхов_Храпач_Мин воды.pdf Скачати (1MB) |
Резюме
В статье проведен обзор работ, посвященных изучению методов верификации, тестирования и оптимизации программ в высших учебных заведениях. Выполнено проектирование содержания дисциплины «Методы верификации и оптимизации программ», которая входит учебный план специальности «Информатика». Обоснована необходимость разработки онлайн-ресурса для самостоятельного изучения студентами курса и выполнено проектирование его структуры.
Тип елементу : | Стаття |
---|---|
Теми: | L Освіта > LB Теорія і практика освіти L Освіта > LB Теорія і практика освіти > LB2300 Вища освіта |
Підрозділи: | Факультет інформатики, математики та економіки > Кафедра інформатики і кібернетики |
Користувач, що депонує: | Кафедра інформатики і кібернетики |
Дата внесення: | 07 Груд 2016 09:53 |
Останні зміни: | 02 Жов 2019 05:52 |
URI: | http://eprints.mdpu.org.ua/id/eprint/940 |
Виконати (потребує авторізації)
Перегляд елементу |