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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext