MDPU Repository

Проектирование содержания и структуры онлайн-курса «Методы верификации и оптимизации программ»

Конюхов, С. Л. and Храпач, О. В. (2016) Проектирование содержания и структуры онлайн-курса «Методы верификации и оптимизации программ». Университетская Наука (1). pp. 234-238. ISSN 2500-2724

[img] Text
Конюхов_Храпач_Мин воды.pdf

Download (1MB)

Abstract

В статье проведен обзор работ, посвященных изучению методов верификации, тестирования и оптимизации программ в высших учебных заведениях. Выполнено проектирование содержания дисциплины «Методы верификации и оптимизации программ», которая входит учебный план специальности «Информатика». Обоснована необходимость разработки онлайн-ресурса для самостоятельного изучения студентами курса и выполнено проектирование его структуры.

Item Type: Article
Subjects: L Освіта > LB Теорія і практика освіти
L Освіта > LB Теорія і практика освіти > LB2300 Вища освіта
Divisions: Факультет інформатики, математики та економіки > Кафедра інформатики і кібернетики
Depositing User: Кафедра інформатики і кібернетики
Date Deposited: 07 Dec 2016 09:53
Last Modified: 07 Dec 2016 09:53
URI: http://eprints.mdpu.org.ua/id/eprint/940

Actions (login required)

View Item View Item