Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,291,719 papers from all fields of science
Search
Sign In
Create Free Account
Automata-based programming
Known as:
FSM-based programming
Automata-based programming is a programming paradigm in which the program or part of it is thought of as a model of a finite state machine (FSM) or…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
27 relations
Automata theory
C++
Comparison of programming paradigms
Computer program
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Automata-Based Programming in DRAKON Language
S. Mitkin
,
Asker Norway ProsessPilotene As
PROGRAMMNAYA INGENERIA
2019
Corpus ID: 86649738
2018
2018
TEXTUAL LANGUAGE FOR AUTOMATA-BASED PROGRAMMING
V. Gurov
,
M. Mazin
,
S. A. Abramovich
2018
Corpus ID: 196127025
2014
2014
Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study
M. Lukin
,
M. Buzdalov
,
A. Shalyto
Haifa Verification Conference
2014
Corpus ID: 22167731
Engineering of mission critical software requires a program to be verified that it satisfies a number of properties. This is…
Expand
2011
2011
РАЗРАБОТКА СИСТЕМЫ УПРАВЛЕНИЯ МАЛОРАЗМЕРНЫМ ВЕРТОЛЕТОМ
Клебан Виталий Олегович
,
Шалыто Анатолий Абрамович
2011
Corpus ID: 113992845
An example of automatic control system of unmanned small-sized helicopter with a coaxial location of the screws is given. Methods…
Expand
Review
2010
Review
2010
On the Formal Specification of Automata- based Programs via Specification Patterns
Andrey Klebanov
2010
Corpus ID: 8792937
Model checking is a well developed verification technique still it is not widely adopted. One of the reasons is that defining…
Expand
2009
2009
Automata-based Programming in Visual Studio 2005: State Machine Designer Tool
Evgeny Reshetnikov
2009
Corpus ID: 2814641
This article introduces State Machine Designer tool for automata-based programming in Visual Studio 2005. State Machine Designer…
Expand
2009
2009
Application of Automata-Based Programming for Construction of Business Processes Management Systems
Evgeny Andreevich Mandrikov
,
V. Kulev
2009
Corpus ID: 355345
In this article the problem of business processes modeling languages consolidation in a uniform management system is considered…
Expand
2008
2008
ТЕКСТОВЫЙ ЯЗЫК АВТОМАТНОГО ПРОГРАММИРОВАНИЯ FSML ДЛЯ ИНСТРУМЕНТАЛЬНОГО СРЕДСТВА UNIMOD
И А Лагунов
2008
Corpus ID: 195963794
UniMod tool allows designing and running automata-based programs. Its main constraint is graphical language for description of…
Expand
Review
2008
Review
2008
Применение шаблонов требований к формальной спецификации и верификации автоматных программ
Клебанов Андрей Александрович
,
Степанов Олег Георгиевич
,
Шалыто Анатолий Абрамович
2008
Corpus ID: 75085533
Model checking is a well developed verification technique; still it is not widely adopted. One of the reasons is that defining…
Expand
2008
2008
Development of Software System for State Machine Generation Using Genetic Algorithms (supervised by A. A. Shalyto)
Andreevich Mandrikov Evgeny
,
Anatolievich Kulev Vladimir
2008
Corpus ID: 16990234
As a part of research works [1], [2], the development of a software system for state machine generation using genetic algorithms…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE