Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation by Goerigk, W., Langmaack, H.

Get full text

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose” by Palagin, O.V., Petrenko, M.G., Velychko, V.Yu., Malakhov, K.S.

Get full text

An approach to website vulnerability detection based on static and dynamic analysis by Popereshnyak, S.V., Horokh, B.D.

Get full text

Development of decision support system using OLAP-technologies for information security monitoring systems by Dashdamirova, K.Q.

Get full text

Use of methods of algebraic programming for the formal verification of legal acts by Peschanenko, V.S., Poltoratskiy, M.

Get full text

Efficient increasing of the mutation score during model-based test suite generation by Kolchin, A., Potiyenko, S., Weigert, T.

Get full text

DS-theory. Scientific aspects and prospects for development by Kolesnyk, V.G.

Get full text

Онтологічні моделі опису готових ресурсів у розробці програм by Бабенко, Л.П., Поляничко, С.Л.

Get full text

Algebraic approach to the analysis of legal documents by Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.

Get full text

Ontological system processing of databases of scientific publications by Palagin, O.V., Petrenko, N.G., Boyko, M.O.

Get full text

Применение статистических моделей в инженерии качества процессов производства программных систем... by Matveeva, L.Е., Gorislavets, T.N.

Get full text

Static method of consistency and completeness checking in formal model of distributed software systems by Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.

Get full text

Information Technology for Computer Systems Applied Software Development and Usage Cost expert-analytical estimation by Andon, P.I., Sinitsyn, I.P., Ignatenko, P.P., Slabospitskaya, О.А.

Get full text

Подход к созданию комплексной учебной программы для подготовки ИТ-менеджеров by Лаврищева, Е.М., Безуглый, Д.Л., Молдавский, С.М.

Get full text

Онтологический подход к спецификации свойств программных систем и их компонентов by Бабенко, Л.П.

Get full text

Approach to building factories of student programs by Aronov, A.A., Dzyubenko, A.I.

Get full text

The system of models of domain "Software Metatechnology" by Morentsov, Y.I.

Get full text

Інститут програмних систем НАН України: історія і сьогодення (до 30-річчя від дня заснування установи)... by Сергієнко, І.В.

Get full text

Architecture metrics: a servey of the potential to improve softwar by Liubchenko, V.V.

Get full text

Scientific research digitalization: R&D workstation environment for the telerehabilitation medicine research domain by Malakhov, K.S., Semykopna, T.V.

Get full text