-
1Academic Journal
Source: Научно-технический вестник информационных технологий, механики и оптики, Vol 25, Iss 2, Pp 328-338 (2025)
Subject Terms: автоматическая верификация, обусловленные регулярные выражения, модель поведения, автоматное программирование, граф переходов состояний, унифицированный язык моделирования uml, диаграмма конечного автомата, параллельное поведение, архитектура программного обеспечения, реагирующая система, Information technology, T58.5-58.64
File Description: electronic resource
-
2Academic Journal
Source: Научно-технический вестник информационных технологий, механики и оптики, Vol 24, Iss 6, Pp 1035-1043 (2024)
Subject Terms: модель поведения, автоматное программирование, граф переходов состояний, унифицированный язык моделирования, uml, диаграмма конечного автомата, диаграмма классов, параллельное поведение, архитектура программного обеспечения, реагирующая система, Information technology, T58.5-58.64
File Description: electronic resource
-
3Report
Authors: Гительман, Владислав Сергеевич
Contributors: Зебзеев, Алексей Григорьевич
Subject Terms: автоматное программирование, конечный автомат, автоматизированная система управления, программное обеспечение, генерация кода, automata-based programming, finite-state machine, automated control system, software, code generation, 15.03.04, 04.896:004.415.2:004.4'422
File Description: application/pdf
Relation: Гительман В. С. Кодогенератор из графического представления детерминированного конечного автомата алгоритма управления : бакалаврская работа / В. С. Гительман; Национальный исследовательский Томский политехнический университет (ТПУ), Инженерная школа информационных технологий и робототехники (ИШИТР), Отделение автоматизации и робототехники (ОАР); науч. рук. А. Г. Зебзеев. — Томск, 2022.; http://earchive.tpu.ru/handle/11683/71398
Availability: http://earchive.tpu.ru/handle/11683/71398
-
4Academic Journal
Authors: Мурзажанов Тимур Артурович, Timur A. Murzazhanov, Степанова Елена Борисовна, Elena B. Stepanova, Максимов Николай Вениаминович, Nikolay V. Maksimov
Source: Interactive science; № 4(14); 111-112 ; Интерактивная наука; № 4(14); 111-112 ; ISSN: 2414-9411 ; 2414-9411 ; ISSN(electronic Version): 2500-2686 ; 2500-2686
Subject Terms: ключевые показатели эффективности, система отчетности, проектирование интерфейсов, минимаксная задача, автоматное программирование, reporting system, interface design, minimax, key performance indicators, automata-based programming
File Description: text/html
Relation: info:eu-repo/semantics/altIdentifier/pissn/2414-9411; info:eu-repo/semantics/altIdentifier/eissn/2500-2686; Monthly international scientific journal Interactive science Issue 4(14); https://interactive-plus.ru/e-articles/351/Action351-119315.pdf; 1. Мурзажанов Т.А. Проектирование функционально-ориентированных интерфейсов / Т.А. Мурзажанов // Стратегии развития науки и образования в XXI веке: Сборник научных трудов по материалам Международной науч.-практ. конф. (30 ноября 2016 г.). – Смоленск: Новаленсо, 2016. – С. 108–109.; 2. Степанова Е.Б. Разработка и использование методов описания процессов и документопотоков для систем терминального управления документооборотом / Е.Б. Степанова, А.В. Тимофеев, Н.В. Максимов // Аудит и финансовый анализ. – 2012. – №4 – С. 457–462.
-
5Academic Journal
Subject Terms: система отчетности, проектирование интерфейсов, минимаксная задача, ключевые показатели эффективности, автоматное программирование
File Description: text/html
-
6Academic Journal
Source: Интерактивная наука.
Subject Terms: система отчетности, проектирование интерфейсов, минимаксная задача, ключевые показатели эффективности, автоматное программирование
File Description: text/html
-
7Academic Journal
Authors: Казаненко, Мария
Subject Terms: КОНЕЧНЫЙ АВТОМАТ, SWITCH-ТЕХНОЛОГИИ, АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ, РЕАКТИВНЫЕ СИСТЕМЫ, МОДЕЛИРОВАНИЕ
File Description: text/html
-
8Academic Journal
Authors: ШЕСТАКОВ АЛЕКСЕЙ ВИКТОРОВИЧ
Subject Terms: АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ,AUTOMATA-BASED PROGRAMMING,СЦЕНАРИЙ РАБОТЫ,АВТОМАТ МУРА,MOORE AUTOMATON,TEST SCENARIO
File Description: text/html
-
9Academic Journal
Authors: АЛЕКСЕЕВ СЕРГЕЙ АНДРЕЕВИЧ, КАЛИНИЧЕНКО АЛЕКСАНДР ИГОРЕВИЧ, КЛЕБАН ВИТАЛИЙ ОЛЕГОВИЧ, ШАЛЫТО АНАТОЛИЙ АБРАМОВИЧ
File Description: text/html
-
10Academic Journal
Authors: ТЯХТИ АЛЕКСАНДР СЕРГЕЕВИЧ
Subject Terms: АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ,AUTOMATA-BASED PROGRAMMING,ВИРТУАЛЬНАЯ ЛАБОРАТОРИЯ,VIRTUAL LABORATORY
File Description: text/html
-
11Academic Journal
-
12Academic Journal
-
13Academic Journal
Subject Terms: АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ,AUTOMATA-BASED PROGRAMMING,АВТОМАТЫ,ВНЕСЕНИЕ ИЗМЕНЕНИЙ,РЕФАКТОРИНГ,REFACTORING,STATE MACHINES,MODIFICATION
File Description: text/html
-
14Academic Journal
Subject Terms: АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ,AUTOMATA-BASED PROGRAMMING,ВЕРИФИКАЦИЯ НА МОДЕЛИ,MODEL CHECKING,ТЕМПОРАЛЬНЫЕ ЛОГИКИ,TEMPORAL LOGIC
File Description: text/html
-
15Academic Journal
-
16Academic Journal
Authors: Новиков, Федор, Тихонова, Ульяна
Subject Terms: ПРОБЛЕМНО-ОРИЕНТИРОВАННЫЙ ЯЗЫК, АБСТРАКТНЫЙ СИНТАКСИС, МЕТАМОДЕЛЬ, АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ
File Description: text/html
-
17Academic Journal
Authors: Царев, Федор
Subject Terms: ГЕНЕТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ, АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ, МАШИННОЕ ОБУЧЕНИЕ
File Description: text/html
-
18Academic Journal
Authors: Новиков, Ф., Тихонова, У.
Subject Terms: ПРОБЛЕМНО-ОРИЕНТИРОВАННЫЙ ЯЗЫК, АБСТРАКТНЫЙ СИНТАКСИС, МЕТАМОДЕЛЬ, АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ
File Description: text/html
-
19Academic Journal
Subject Terms: ВЕРИФИКАЦИЯ МОДЕЛЕЙ,ТЕМПОРАЛЬНЫЕ ЛОГИКИ,TEMPORAL LOGIC,MODEL CHECKING,АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ,AUTOMATA-BASED PROGRAMMING
File Description: text/html
-
20Academic Journal
File Description: text/html
