No 4 (2011)

Table of Contents

Theory and Methodology of Programming

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
A.Yu. Doroshenko, V.G. Akulovskiy
PDF (Русский)
3-13
Constraint programming in insertion modeling system
O.A. Letichevsky, O.O. Letychevskyi, V.S. Peschanenko, I.O. Blynov, D.M. Klionov
PDF
14-22
About one Approach for the Verification of Algebraic Computations
M.S. Lvov
PDF (Русский)
23-35
Special relations of logical consequence in logics of quasi-ary predicates
S.S. Shkilniak
PDF (Українська)
36-48

Programming distributed systems and Internet

One approach for advanced internet-programs creation on example of widget-programs developing
M.M. Glybovets, I.V. Koval, O.M. Koren
PDF
49-55
On unification of processing methods of the structured information
A.Yu. Doroshenko, L.G. Molotievskiy
PDF (Українська)
56-62

Methods and facilities of software engineering

Approaches to configuring reusable assets
A.L. Kolesnik
PDF (Українська)
63-71

Models and facilities for data and knowledge bases

Methods consolidated data processing using dataspaces
N.B. Shakhovska
PDF (Українська)
72-84

Software for Secure Information

National localization of electronic signatures in modern office suites
A.O. Melashchenko
85-89
The Code is based on random numbers with irregular distribution
R.M. Mikhersky
PDF (Русский)
90-95

Applied Software

Problem of automation of situational management of protection of zones of the responsibility
V.A. Alekseev, V.V. Mostovoy, V.S. Tereshchenko, A.L. Yalovets
PDF (Українська)
96-107
Optimization problems solution for queuing systems with failure under uncertainty
M.B. Kopytchuk, P.M. Tishin, K.V. Botnar
PDF (Русский)
108-117