Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,160,377 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
Design of Real-Time System Logic Control on FPGA
Maryna Miroshnyk
,
Olexandr Shkil
,
+5 authors
Vladyslav Sergienko
East-West Design & Test Symposium
2019
Corpus ID: 207901762
Problems of real-time hardware logic control systems design on the FPGA are considered. The control algorithm is implemented…
Expand
2019
2019
Cloud-based Personal Data Protection System and Its Performance Evaluation
Jung-Chun Liu
,
Chu-Hsing Lin
,
Ken-Yu Lee
2019
Corpus ID: 214131135
This article uses Information technology (IT) to assist in the fulfillment of personal information protection and reduce IT risks…
Expand
2016
2016
Developing a software system for automata-based code generation
T. Shulga
,
E. A. Ivanov
,
M. Slastihina
,
N. S. Vagarina
Programming and computer software
2016
Corpus ID: 254891712
This paper is devoted to the development of the State Machine Generator system meant for automatic code generation based on the…
Expand
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
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 and Automata-Based Control
A. Shalyto
2009
Corpus ID: 12420966
The article contains main theses of automata-based programming and discusses its advantages when applied in software engineering…
Expand
2009
2009
Automata-based Programming in Visual Studio 2005: State Machine Designer Tool
Evgeny O. 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
2007
2007
Tools for support of automata-based programming
V. Gurov
,
M. Mazin
,
A. S. Narvsky
,
A. Shalyto
Programming and computer software
2007
Corpus ID: 14209695
A method for designing and implementing reactive object-oriented programs with explicit emphasis of states is suggested. The…
Expand
2007
2007
Graphical inheritance notation for state-based classes
D. Shopyrin
,
A. Shalyto
Programming and computer software
2007
Corpus ID: 2181813
State-based object-oriented programming combines basic advantages of object-oriented and automata-based programming technologies…
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