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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

Implementation of rich web-applications based on taucode library by Kovalenko, A.S., Kovalenko, K.S.

Get full text

The algebro-logical approach to the analysis and processing of the text information by Palagin, O.V., Kryvyi, S.L., Petrenko, M.G., Bibikov, D.S.

Get full text

Fuzzy models of multiagent systems in distributed environment by Parasyuk, I.N., Ershov, S.V.

Get full text

Reputation-based secyrity for heterogtneous structurally complex systems by Kussul, O.M.

Get full text

Specification Based Program Construction and Verification in Composition-Nominative Language CNLS by Bezverha, M.A., Protsyk, P.P.

Get full text

Methods of automated algorithms schemes transformation by Shkulipa, I.Yu., Pogorily, S.D.

Get full text

Solving contest problems via formal program verification by Shilov, N.V., Shilova, S.O.

Get full text

Backward transformation of formulas in symbolic modeling: from the result to the source formula by Godlevsky, A.B., Potienko, S.V.

Get full text