No 4 (2013)

Full Issue

View or download the full issue PDF (Українська)

Table of Contents

Theory and Methodology of Programming

Evolutionary Programming
M.M. Glybovets, N.M. Gulayeva
PDF (Українська)
3-13

Methods and facilities of software engineering

An Approach for Object-Component Model Engineering of Software Product Line
K.M. Lavrischeva, O.А. Slabospitskaya
PDF (Українська)
14-24
The formal basic developing and testing the distributed program systems
K.M. Lavrischeva, A.Yu. Stenyashin
PDF (Українська)
25-34

Software environment and tools

Spellchecker based on distributed representations
P.S. Omelchenko
PDF (Русский)
34-42

Еxpert and intelligent information systems

Approach to the building intelligent decision support systems on the basis of ontology
V.V. Lytvyn
PDF (Українська)
43-52

Program verification

Verification of programs: status, problems and experimental results. I
A.N. Maksymets
PDF (Русский)
53-63

Applied Facilities for Programming and Software

Autotuner and visualization for meteorological forecasting model
P.A. Ivanenko, A.Yu. Doroshenko, O.M. Ovdii, L.M. Suslova
PDF (Українська)
64-73
Numerical Methods for Solving the Pursuit Optimization Problems
C.V. Pashko, A.L. Yalovets
PDF (Русский)
74-85
Method for calculating the parameters of phase transitions of discrete technological and information processes of strategic planning with parallelization of computations
M.Yu. Stepaniuk
PDF (Українська)
86-93
About the method of the nearest point as a method of management of strategies of pursuit/evasion of agents
A.L. Yalovets
PDF (Українська)
94-99