Algebraic-grammatical models of parallel computation G. E. TseitlinE. L. Yushchenko Software-Hardware Systems Pages: 639 - 645
Situational interactive mode organization O. L. PerevozchikovaO. I. Tkachenko Software-Hardware Systems Pages: 646 - 652
Locating circuit bodies and documenting routing graphs G. É. Mikailov Software-Hardware Systems Pages: 652 - 660
Knowledge representation in an automatic programming system and solution of Ek(R2) location problems T. E. Romanova Software-Hardware Systems Pages: 661 - 669
Integral model of a fuzzy system A. A. RomanovYu. I. Shemakin Software-Hardware Systems Pages: 669 - 676
Complexity of algorithms that construct subsets of data from formal definitions R. M. Nuriev Software-Hardware Systems Pages: 677 - 683
Program reduction allowing for additional specifications A. B. GodlevskiiS. L. Krivoi Software-Hardware Systems Pages: 684 - 693
Synchronization of external exchanges in macropipelined programs A. E. Doroshenko Software-Hardware Systems Pages: 693 - 700
Transputer-based programming of parallel systems with dynamically variable structure A. V. AnisimovYu. E. Boreisha Software-Hardware Systems Pages: 700 - 705
Net models of discrete information transducers. I S. V. Surzhko Software-Hardware Systems Pages: 706 - 711
Multilevel structured program designs and correctness proving G. E. TseitlinA. V. Bakulin Software-Hardware Systems Pages: 719 - 726
Checking semantic correctness of a class of structured programs by program function construction E. A. Evtushenko Software-Hardware Systems Pages: 727 - 729
Syntactically correct multilevel structured program design L. I. Nagornaya Software-Hardware Systems Pages: 730 - 736
An approach to compiler construction for a general-purpose simulation language V. P. BabichA. S. Bylev Software-Hardware Systems Pages: 736 - 740
Construction of standard program designs in the MUL'TIPROTSESSIST system A. V. Galushka Software-Hardware Systems Pages: 740 - 744
An approach to automation of optimizing transformations of algorithms and programs A. N. Petrushenko Software-Hardware Systems Pages: 744 - 753
Formalization of software design for process control systems in ferrous metallurgy V. G. Akulovskii Software-Hardware Systems Pages: 753 - 758
Adaptive reusable components in program generation systems L. P. BabenkoE. M. KokhovaM. R. Taranovskii Software-Hardware Systems Pages: 759 - 762
Turbo expert: A knowledge representation and processing language S. V. VdovkinI. O. OdintsovV. O. Safonov Software-Hardware Systems Pages: 762 - 769
Object-oriented language smalltalk: Main features and implementation A. V. Drobyshev Software-Hardware Systems Pages: 769 - 773
Single-server queueing system with time and information redundancy I. S. MikadzeZ. I. Mikadze Systems Analysis Pages: 774 - 785
Optimization of mealy automaton logic using programmable logic arrays A. A. BarkalovV. A. SalomatinD. K. Das Brief Communications Pages: 789 - 793