Богатырев, Р. Об автоматном и асинхронном программировании [Текст] / Р. Богатырев> // Открытые системы. - 2001. - N 3. - С. . 68-69. - , , , . - НБ УлГУ. - Рец. на кн.: Шалыто А. А. Логическое управление. Методы аппаратной и программной реализации. - СПб. : Наука, 2000. - 780 с. - osys01_000_003
Кл.слова (ненормированные): конечные автоматы -- автоматное программирование -- асинхронное программирование -- логическое управление -- алгоритмы -- рецензии Аннотация: В начале 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
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование) Кл.слова (ненормированные): автоматы (вычислительная техника) -- автоматное программирование -- автоматный подход -- реализация автоматов -- слова -- длина слов -- подсчет длины слов Аннотация: Рассматривается решение задачи подсчета длин слов в сроке на основе автоматного подхода. Описан ряд методов реализации автоматов. Доп.точки доступа: Шалыто, Анатолий (д. т. н.) Нет сведений об экземплярах (Источник в БД не найден) |
Алексеева, М. М. Метод проверки на модели (model-checking) для определения корректности сложных систем [Текст] / М. М. Алексеева, Е. А. Дашкова> // Дистанционное и виртуальное обучение. - 2011. - № 12. - С. 50-56. - Библиогр.: с. 55 (4 назв. ) . - ISSN 1561-2449
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): программные системы -- аппаратные системы -- автоматное программирование -- корректность программного обеспечения -- корректность алгоритмов -- верификация -- технологии программирования -- системное моделирование -- проектирование систем Аннотация: Метод формальной верификации как один из подходов к достижению корректности сложных систем. Доп.точки доступа: Дашкова, Е. А. Нет сведений об экземплярах (Источник в БД не найден) |
Ефимчик, Евгений Александрович. Автоматизация подготовки вариантов и оценивания решений алгоритмических заданий для виртуальных лабораторий на основе автоматной модели [Текст] / Е. А. Ефимчик, А. В. Лямин> // Дистанционное и виртуальное обучение. - 2015. - № 6. - С. 20-33 : 6 ил. - Библиогр.: с. 32-33 (14 назв. ) . - ISSN 1561-2449
Рубрики: Образование. Педагогика Дистанционное образование Применение вычислительной техники в педагогике Кл.слова (ненормированные): автоматизация -- автоматное программирование -- автоматные модели -- алгоритмические задания -- виртуальные лаборатории -- виртуальные лабораторные практикумы -- дистанционные методы обучения -- дистанционные образовательные технологии -- информатизация образования -- онлайн-курсы -- онлайн-обучение -- электронное обучение -- эталонные алгоритмы Аннотация: Приведено описание автоматной модели эталонного алгоритма построения верного решения для алгоритмических заданий. Доп.точки доступа: Лямин, Андрей Владимирович (кандидат технических наук ; доцент) Нет сведений об экземплярах (Источник в БД не найден) |
Гумунюк, Павел Васильевич (аспирант). Автоматное программирование в технологическом процессе и его влияние на методику составления программной логики [Текст] = Automated Programming in the Technological Process and its Influence on the Program Logic Compilation Technique / П. В. Гумунюк> // Качество. Инновации. Образование. - 2022. - № 3. - С. 73-76. - Библиогр.: с. 75 (6 назв.) . - ISSN 1999-513Х
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): Индустрия 4. 0 -- автоматное программирование -- информатизация производства -- компьютерные модели -- программисты -- программные коды -- процессорные устройства -- свитч-технологии -- системы управления -- сотовые телефоны -- технический прогресс -- технологический прогресс Аннотация: Целью настоящей работы является рассмотрение всех положительных и отрицательных нюансов, которые приносит автоматное программирование в процесс написания кода и разработки систем управления. В статье рассматриваются такие вопросы, как причина возникновения программирования, а также основные черты автоматного программирования. Приводится описание трудозатрат, связанных с обучением молодых программистов и с описанием компьютерных моделей и физических средств, позволяющих снизить нагрузку на программиста, увеличить качество программного кода и популяризировать такой метод разработки систем управления, как автоматное программирование. Нет сведений об экземплярах (Источник в БД не найден) |