Logics of local equitone predicates: semantic properties and sequential calculuses von Nikitchenko, M.S., Shkilniak, S.S.

Volltext

The implementation of legal electronic documents von Melaschenko, A.O., Скарлат, О.С.

Volltext

Multi-Comparand Associative Machine and its Application to Relational Algebra Operations von Nepomniaschaya, A.S.

Volltext

Approach to improve efficiency of service-oriented systems using estimation and distribution of load von Tulika, E.M.

Volltext

Automatically adjustable parallel algorithm for solving multidimensional problem of environmental modeling von Ivanenko, P.A., Doroshenko, A.Yu., Suslova, L., Chernysh, R.I.

Volltext

Test scenarios generation based on formal model von Letichevsky, A.A., Kolchin, A.V.

Volltext

AWP – instrument for project and programming complex systems on the base system analisys von Antonov, V.M., Antonova-Rafi, Y.V.

Volltext

Problem of reengineering of legacy-software systems von Pashkovets, N.D., Babak, O.V.

Volltext

Maintenance of Availability and Operation Proceeding Aviation Software von Lutsky, M.G., Sidorov, M.O., Ryabokin, Y.M.

Volltext

Metrics selection for the software properties von Dyshlevyi, O.P.

Volltext

Monitoring design flaws in object-oriented software von Nechay, A.S.

Volltext

Towards effectiveness estimation of post object-oriented technologies at software maintenance von Tkachuk, N., Nagorny, K.

Volltext

Challenges and opportunities in the programming environment SEMANTIC WEB von Andon, P.I., Babenko, L.P.

Volltext

An improvement for software families’ development with agile methodologies’ elements von Koval, G.I., Kolesnik, A.L., Lavrishcheva, K.M., Slabospitska, O.O.

Volltext

Cyberakmeology concept and principles projection programm-technology systems von Antonov, V.M., Antonova-Rafi, Y.V.

Volltext

Engineering of software development processes quality by means of Petri Nets von Matveeva, L.E.

Volltext

Modifications effective implementation generator tests von Andriyanov, V.A., Martynyuk, A.N.

Volltext

Interactive assessment of simulated service qualities by business stakeholders: principles and research issues von Shekhovtsov, V.A.

Volltext

Crosscertification of Ukraine von Melashchenko, A.O., Perevozchikova, O.L.

Volltext

Estimation of reliability of modular software von Antsypov, A.V., Bakhtizin, V.V.

Volltext