No 4 (2012)

Table of Contents

Theory and Methodology of Programming

K.M. Lavrischeva
M.S. Nikitchenko, S.S. Shkilniak
O.I. Provotar, O.V. Lapko
Т.S. Schegelski, O.O. Provotar, O.I. Provotar

Programming distributed systems and Internet

O.P. Ignatenko

Software environment and tools

V. V. Kozhaev

Formal methods of software development

A.V. Kolchin, A.A. Letichevsky, S.V. Potiyenko, V.S. Peschanenko

Еxpert and intelligent information systems

O.V. Zakharova, V.D. Minenko

Critical systems software

V.A. Alekseev, V.V. Mostovoi, V.S. Tereshchenko, A.L. Yalovets
S.L. Merdukh, R.B. Medvedev
A.N. Tereshchenko, V.K. Zadiraka