Menu
Publications
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
Editor-in-Chief
Nikiforov
Vladimir O.
D.Sc., Prof.
Partners
Сontents
PARADIGM AUTOMATA PROGRAMMING
Shalyto A. A. AUTOMATA-BASED PROGRAMMING PARADIGM
3
BUILDING MACHINES FOR MANAGEMENT UNMANNED DEVICES BASED ON USING GENETIC ALGORITHMS
Polikarpova N., Tochilin N., Shalyto A. A. APPLICATION OF GENETIC PROGRAMMING FOR GENERATION OF AUTOMATA HAVING A LOT OF INPUT VARIABLE
24
42
Sokolov D., Tsarev F., Davydov A. APPLICATION OF GENETIC PROGRAMMING AND OF REDUCED TRANSITION TABLES METHOD AND OF DECISION TREES METHOD FOR CONSTRUCTING A CONTROL SYSTEM FOR A MODEL OF AN UNMANNED AIRCRAFT
60
Lobanov P., Sytnik S., Shalyto A. A. CONSTRUCTION OF A CONTROL SYSTEM FOR A HELICOPTER MODEL USING GENETIC ALGORITHMS
79
Bedny Y., Shalyto A. A. CONSTRUCTION OF A CONTROL SYSTEM FOR ROBOCODE TANK USING GENETIC ALGORITHMS
88
APPLICATION OF GENETIC ALGORITHMS TO GENERATE AUTOMATA
Mandrikov E., Kulev V. DEVELOPMENT OF A TOOL FOR FINITE STATE MACHINE GENERATION
WITH GENETIC ALGORTIHMS
100
103
Sokolov D., Tsarev F., Davydov A. APPLICATION OF GENETIC ALGORTIHMS FOR MOORE AUTOMATA AND SYSTEMS OF MEALY AUTOMATA CONSTRUCTION IN “ARTIFICIAL ANT” PROBLEM
108
114
VERIFICATION OF AUTOMATIC PROGRAMS
Velder S., Shalyto A. A. METHODS OF AUTOMATA-BASED PROGRAMS VERIFICATION
123
137
Shalyto A. A., Lukin M. VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH SPIN VERIFIER
145
Gurov V., Jaminov B. VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH UNIMOD.VERIFIER TOOL
162
Egorov K., Shalyto A. A. DEVELOPMENT OF A VERIFIER FOR AUTOMATA-BASED PROGRAMS
177
189
Клебанов А. А., Shalyto A. A. DEVELOPMENT OF CORECT JAVA CARD-APPLICATION WITH AUTOMATA-BASED APPROACH
198
Kanzhelev S. VERIFICATION OF INTERACTION OF PARTS OF A REACTIVE SYSTEM IMPLEMENTED USING AUTOMATA-BASED APPROACH
211
221
METHODS OF DEVELOPMENT OF AUTOMATIC PROGRAMS
Astafurov A. DECLARATIVE APPROACH TO EMBEDDING AND INHERITANCE OF AUTOMATA CLASSES WITH IMPERATIVE PROGRAMMING LANGUAGES
230
Timofeev K., Astafurov A. INHERITANCE OF AUTOMATA CLASSED WITH DYNAMIC PROGRAMMING LANGUAGES ON THE EXAMPLE OF RUBY
238
TOOLS AUTOMATA PROGRAMMING
Kochelev D., Lagunov I., Khasanzyanov B., Jaminov B. A TOOL SUPPORTING AUTOMATA-BASED PROGRAMMING – UNIMOD 2. DESIGN. VALIDATION. VERIFICATION. IMPLEMENTATION
251
TEXTUAL LANGUAGES AUTOMATA PROGRAMMING
TESTING THE APPLICATION AND THE STATE MACHINE
Rubinov K., Vedeneev V., Parfenov V. A METHOD OF TESTS FOR API GENERATION ON THE BASE OF FINITE-STATE MODEL OF TESTING
273
AUTOMATA PROGRAMMING MOBILE ROBOTS
Kleban V., Parfenov V., Shalyto A. A. APPLICATION OF AUTOMATA-BASED APPROACH FOR A MOBILE ROBOT CONTROL SYSTEM
281
APPLICATION OF FINITE STATE MACHINES FOR AUTOMATIZATION OF DOCUMENTS CIRCULATION
Kleban V., Novikov F. APPLICATION OF FINITE STATE MACHINES FOR AUTOMATIZATION OF DOCUMENTS CIRCULATION
286