Table of Contents
##
|
# #
|
|
|
# #
|
|
Software environment and tools
|
D.V. Rahozin
|
03-10
|
Models and facilities for data and knowledge bases
|
J.V. Rogushina, I.J. Grishanova
|
11-27
|
|
J.V. Rogushina
|
28-52
|
Еxpert and intelligent information systems
|
O.V. Zakharova
|
53-74
|
|
E.P. Ilina, O.А. Slabospitskaya
|
75-91
|
Formal methods of software development
|
O.H. Moroz, H.B. Moroz
|
92-110
|
Applied Facilities for Programming and Software
|
R.D. Grygoryan, A.G. Degoda, E.A. Dzhurinsky
|
111-120
|
|
K.I. Kuzmina, T.M. Syomik, L.N. Sheremetova
|
121-131
|