Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Problems of real-time hardware logic control systems design on the FPGA are considered. The control algorithm is implemented… 
2019
2019
This article uses Information technology (IT) to assist in the fulfillment of personal information protection and reduce IT risks… 
2016
2016
This paper is devoted to the development of the State Machine Generator system meant for automatic code generation based on the… 
2014
2014
Engineering of mission critical software requires a program to be verified that it satisfies a number of properties. This is… 
Review
2010
Review
2010
Model checking is a well developed verification technique still it is not widely adopted. One of the reasons is that defining… 
2009
2009
The article contains main theses of automata-based programming and discusses its advantages when applied in software engineering… 
2009
2009
This article introduces State Machine Designer tool for automata-based programming in Visual Studio 2005. State Machine Designer… 
2009
2009
In this article the problem of business processes modeling languages consolidation in a uniform management system is considered… 
2007
2007
A method for designing and implementing reactive object-oriented programs with explicit emphasis of states is suggested. The… 
2007
2007
State-based object-oriented programming combines basic advantages of object-oriented and automata-based programming technologies…