No 1 (2013)

Table of Contents

Theory and Methodology of Programming

Construction of sequent calculi of composition-nominative multimodal logics
O.S. Shkilniak
PDF (Українська)
1-13

Formal methods of software development

Partial evaluation in insertion modeling system
V.S. Peschanenko
PDF
14-22

Еxpert and intelligent information systems

Role functionality of subjects of examination of the software of information-telekommunikatsion the systems
V.A. Alekseev, V.S. Tereschenko
PDF (Українська)
23-44
Semantic web and Wiki-systems
A.M. Glibovets, M.M. Glibovets, D.E. Pokopcev, M.O. Sydorenko
PDF (Русский)
45-67
An intellectual information technology for organizational de­cisions expert-analytical sup­port
O.P. Ilyina, I.P. Sinitsyn, O.O. Slabospitska, T.L. Yablokova
PDF (Русский)
68-77
Implementation the concept of ada­p­tive broadcast system and automatic pre­paration of content
O.I. Provotar, A.A. Zamihovskyy, O.V. Halkin, M.M. Ve­res, L.O. Katerynych
PDF (Українська)
78-84

Software for Secure Information

Methods and ways for realization of the automated support testing of the integrated information security system
M. A. Koltyk
PDF (Русский)
85-99

Applied Facilities for Programming and Software

Software simulator of the pancreas
R.D. Grygoryan, T.V. Aksonova, R.A. Mar­ke­vich, I. I. Deryev
PDF (Русский)
100-106
Toolkit for simulation of heterogeneous GPU-based environments
I.V. Okonsky, A.Yu. Doroshenko, K.A. Zhe­reb
PDF (Українська)
107-115
High-precision parallel solution of a problem about diffraction of shear wa­ves on a system of elastic inclusions in a half-space with a restrained boun­dary
B.E. Panchenko
PDF (Русский)
116-124