Отрывок: Кино (видео) лекция способствует развитию наглядно-образного мышле- ния у студентов. Преподаватель осуществляет подбор необходимых кино-видео материалов по изучаемой теме. Перед началом просмотра кино-видео материа- лов преподаватель комментирует происходящие на экране события. Инструктивная лекция проводится с целью организации самостоятельной работы последующей работы студентов по углублению, ...
Полная запись метаданных
Поле DC Значение Язык
dc.contributor.authorМаматова, З. Х.-
dc.date.accessioned2018-07-09 11:26:46-
dc.date.available2018-07-09 11:26:46-
dc.date.issued2018-
dc.identifierDspace\SGAU\20180706\70518ru
dc.identifier.citationМаматова З.Х. Создание программ на основе формальных преобразований / З. Х. Маматова // Труды Международной научно-технической конференции "Перспективные информационные технологии (ПИТ 2018)" / под ред. С.А. Прохорова – Самара: Издательство Самарского научного центра РАН, 2018. – С. 1271-1273.ru
dc.identifier.isbn978-5-93424-817-9-
dc.identifier.urihttp://repo.ssau.ru/handle/Perspektivnye-informacionnye-tehnologii/Sozdanie-programm-na-osnove-formalnyh-preobrazovanii-70518-
dc.language.isorusru
dc.publisherИздательство Самарского научного центра РАНru
dc.titleСоздание программ на основе формальных преобразованийru
dc.typeArticleru
dc.textpartКино (видео) лекция способствует развитию наглядно-образного мышле- ния у студентов. Преподаватель осуществляет подбор необходимых кино-видео материалов по изучаемой теме. Перед началом просмотра кино-видео материа- лов преподаватель комментирует происходящие на экране события. Инструктивная лекция проводится с целью организации самостоятельной работы последующей работы студентов по углублению, ...-
dc.textpartИменно по- этому метод формальных преобразований редко используется для всего про- граммного комплекса. В большинстве случаев он применяется для той части сложной системы и реализации тех алгоритмов, где исходные требования хо- рошо формализуемы. Подходы на основе формальных преобразований. -прозрачного (белого) ящика, представляющего реализацию в ви...-
dc.classindex.udc004-
Располагается в коллекциях: Перспективные информационные технологии

Файлы этого ресурса:
Файл Описание Размер Формат  
СОЗДАНИЕ ПРОГРАММ НА ОСНОВЕ ФОРМАЛЬНЫХ ПРЕОБРАЗОВАНИЙ.pdfОсновная статья357.46 kBAdobe PDFПросмотреть/Открыть
Показать базовое описание ресурса Просмотр статистики
Поделиться:



Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.