automata-based programming

V. Shelekhov Automata-based programming on the base of requirements specification // System Informatics. — . — # 4.  — P. 1-29
V. Shelekhov Comparison of automata-based engineering method and Event-B modeling method // System Informatics. — . — # 18.  — P. 53-84
S. Staroletov Design and implementation a software for water purification with using automata approach and specification based analysis // System Informatics. — . — # 10.  — P. 33-44
V. Shelekhov Lists and strings in predicate programming // System Informatics. — . — # 3.  — P. 25-43
E. Tumurov V. Shelekhov Requirement specification of quad-rotor flight control system // System Informatics. — . — # 5.  — P. 39-54
Subscribe to automata-based programming