Научная библиотека СГЮА

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

- результаты поиска

Вид поиска

Книги фонда НБ СГЮА

Дипломные работы выпускников СГЮА за последние 5 лет

Авторефераты

Диссертации

Период.издания науч.абонемента

Редкие книги Научной библиотеки СГЮА

Каталог электронных носителей

Труды ученых СГЮА

Саратовский край

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=автоматное программирование<.>)

Общее количество найденных документов : 5
Показаны документы с 1 по 5

Богатырев, Р.
Об автоматном и асинхронном программировании [Текст] / Р. Богатырев // Открытые системы. - 2001. - N 3. - С. . 68-69. - , , , . - НБ УлГУ. - Рец. на кн.: Шалыто А. А. Логическое управление. Методы аппаратной и программной реализации. - СПб. : Наука, 2000. - 780 с. - osys01_000_003

УДК

^A004.43

Рубрики: Вычислительная техника--Языки программирования
Кл.слова (ненормированные):
конечные автоматы -- автоматное программирование -- асинхронное программирование -- логическое управление -- алгоритмы -- рецензии
Аннотация: В начале 70-х годов Дуглас Росс, автор известной методологии IDEFO, утверждал, что "80 или даже 90% информатики будет в будущем основываться на теории конечных автоматов". И хотя этого пока не наблюдается, все же можно сказать, что конечные автоматы с 60-х годов играют заметную роль в развитии компьютерных технологий.

Доп.точки доступа:
Шалыто \а. А.\
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Лобанов, Павел (магистрант).
Подсчет длины слов в строке на основе автоматного подхода [Текст] / Павел Лобанов, Анатолий Шалыто // Мир ПК. - 2005. - N 7. - С. . 66-70. - Библиогр.: с. 70 (4 назв. ). - s, 2005, , rus. - RUMARS-mir_05_000_007_0066_1. - Научно-техническая библиотека Саратовского государственного технического университета. - Полная версия сатьи и листинги - на CD-ROM-приложении. - N 7. - С. 66-70. - mir_05_000_007_0066_1, 7, 66-70

УДК

^a004.4

ББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование)
Кл.слова (ненормированные):
автоматы (вычислительная техника) -- автоматное программирование -- автоматный подход -- реализация автоматов -- слова -- длина слов -- подсчет длины слов
Аннотация: Рассматривается решение задачи подсчета длин слов в сроке на основе автоматного подхода. Описан ряд методов реализации автоматов.

Доп.точки доступа:
Шалыто, Анатолий (д. т. н.)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Алексеева, М. М.
Метод проверки на модели (model-checking) для определения корректности сложных систем [Текст] / М. М. Алексеева, Е. А. Дашкова // Дистанционное и виртуальное обучение. - 2011. - № 12. - С. 50-56. - Библиогр.: с. 55 (4 назв. ) . - ISSN 1561-2449

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
программные системы -- аппаратные системы -- автоматное программирование -- корректность программного обеспечения -- корректность алгоритмов -- верификация -- технологии программирования -- системное моделирование -- проектирование систем
Аннотация: Метод формальной верификации как один из подходов к достижению корректности сложных систем.

Доп.точки доступа:
Дашкова, Е. А.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Ефимчик, Евгений Александрович.
Автоматизация подготовки вариантов и оценивания решений алгоритмических заданий для виртуальных лабораторий на основе автоматной модели [Текст] / Е. А. Ефимчик, А. В. Лямин // Дистанционное и виртуальное обучение. - 2015. - № 6. - С. 20-33 : 6 ил. - Библиогр.: с. 32-33 (14 назв. ) . - ISSN 1561-2449

УДК

^a371.66:004.3

^a371.69:004.3

ББК 74 + 74с
Рубрики: Образование. Педагогика
Дистанционное образование
Применение вычислительной техники в педагогике
Кл.слова (ненормированные):
автоматизация -- автоматное программирование -- автоматные модели -- алгоритмические задания -- виртуальные лаборатории -- виртуальные лабораторные практикумы -- дистанционные методы обучения -- дистанционные образовательные технологии -- информатизация образования -- онлайн-курсы -- онлайн-обучение -- электронное обучение -- эталонные алгоритмы
Аннотация: Приведено описание автоматной модели эталонного алгоритма построения верного решения для алгоритмических заданий.

Доп.точки доступа:
Лямин, Андрей Владимирович (кандидат технических наук ; доцент)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Гумунюк, Павел Васильевич (аспирант).
Автоматное программирование в технологическом процессе и его влияние на методику составления программной логики [Текст] = Automated Programming in the Technological Process and its Influence on the Program Logic Compilation Technique / П. В. Гумунюк // Качество. Инновации. Образование. - 2022. - № 3. - С. 73-76. - Библиогр.: с. 75 (6 назв.) . - ISSN 1999-513Х

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
Индустрия 4. 0 -- автоматное программирование -- информатизация производства -- компьютерные модели -- программисты -- программные коды -- процессорные устройства -- свитч-технологии -- системы управления -- сотовые телефоны -- технический прогресс -- технологический прогресс
Аннотация: Целью настоящей работы является рассмотрение всех положительных и отрицательных нюансов, которые приносит автоматное программирование в процесс написания кода и разработки систем управления. В статье рассматриваются такие вопросы, как причина возникновения программирования, а также основные черты автоматного программирования. Приводится описание трудозатрат, связанных с обучением молодых программистов и с описанием компьютерных моделей и физических средств, позволяющих снизить нагрузку на программиста, увеличить качество программного кода и популяризировать такой метод разработки систем управления, как автоматное программирование.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)