No 4 (2017)

Table of Contents

#

# #

Models and facilities for parallel and distributed programs

S.V. Yershov, R.N. Ponomarenko
3-15
E.V. Zharikov
16-27

Software environment and tools

А.Yu. Doroshenko, O.A. Yatsenko, O.G. Beketov
28-36

Formal methods of software development

A.F. Kurgaev, S.M. Grygoryev
37-50
О.A. Slabospitskaya
51-65

Еxpert and intelligent information systems

O.V. Zakharova
66-78
E.P. Ilina
79-88

Software for secure information

Y.S. Rodin
89-97

Critical systems software

R.D. Grygoryan, A.G. Degoda, E.A. Dzhurinsky, D.S. Kharsun
98-108
V.V. Tumanov, А.Yu. Doroshenko
109-118