Control Systems and Computers

Control Systems and Computers, N6 (242), 2012

• Title, Contents. pp. 1-2.

Theoretical Bases of the Insertion Modelling

• Letichevsky A.Ad. Insertional Modelling. pp. 3-14.

Semantics of Formal and Natural Languages

• Guba А.А., Shushpanov K.I. The Insertional Seman­tics of Flattened Multithreaded Models of the UCM Language. pp. 15-21, 34.
• Godlevsky A.B. The Insertion Semantics of Parallel Procedural Constructs of the UCM Language. pp. 22-34.
• Mishchenko N.M., Felizhanko O.D., Shchogole­va N.N. Universal Language Processors for Performing Texts in Natural Languages. pp. 35-42.

Technical Applications of Insertional Modelling

• Kolchin A.V., Kotliarov V.P., Drobincev P.D. A Me­thod of the Test Scenario Generation in the Insertion Modelling Environment. pp. 43-48, 63.
• Potienko S.V. The Organization of a Knowledge Base About Transitions of the System with Attributes of Enumerated Types. pp. 49-52.
• Kozhaev V.V. The Insertion Modelling of Role-Playing Game Scenarios. pp. 53-56.

Deductive Methods

• Nikitchenko N.S., Tymofeev V.G. On the Application of Composition-Nominative Logics in Insertion Modelling. pp. 57-63.
• Letichevskyi O.A .(jr), Morokhovets M.K., Pescha­nenko V.S. System for Provable Programming. pp. 64-71.

Information Technologies

• Galkovskaya L.A., Glibovets N.N., Gorohovsky S.S. The Hybrid Algorithm for Solving Constraint Satisfaction Problem. pp. 72-80, 88.
• Kolomeyko V.V. Methodological Aspects of the Support of Effective Interaction of Software and Experts in Multilayer Human-Machine Systems. pp. 81-88.

Our Authors. pp. 89.

Systematic Index of Articles Published in 2012. pp. 90-92.

Alphabetical Index of Names, 2012. pp. 93.