Development of integrated system of scientific periodicals based on the OJS за авторством Kudim, K.A., Reznichenko, V.A., Novitsky, A.V., Proskudina, G.Yu., Ovdii, O.M.

Отримати повний текст

Traversal of arbitrary sequences of UCM symbolic transitions for test generation за авторством Guba, A.A.

Отримати повний текст

Regression testing: techniques and future research directions за авторством Moroz, H.B., Plys, A.B.

Отримати повний текст

Static method of consistency and completeness checking in formal model of distributed software systems за авторством Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.

Отримати повний текст

About one Approach for the Verification of Algebraic Computations за авторством Lvov, M.S.

Отримати повний текст

Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення... за авторством Chebanyuk, E.V., Chuprinka, V.I.

Отримати повний текст

An approach to behavioral software models refinement using design patterns за авторством Chebanyuk, O.B.

Отримати повний текст

Formal model of scientific publication за авторством Reznichenko, V.A., Proskudina, G.Yu., Ovdii, O.M.

Отримати повний текст

Decision support system for quality management in study process за авторством Komleva, N.O., Liubchenko, V.V., Zinovatna, S.L.

Отримати повний текст

Efficient increasing of the mutation score during model-based test suite generation за авторством Kolchin, A., Potiyenko, S., Weigert, T.

Отримати повний текст

A GPU-based singular value decomposition algorithm за авторством Sukharskyi, S.S.

Отримати повний текст

Toward software artifacts ecosystem за авторством Sydorov, N.A.

Отримати повний текст

Domain engineering approach of software requirements analysis за авторством Chebanyuk, O.V., Palahin, O.V., Markov, K.K.

Отримати повний текст

Correctness Property Proof for the Banking System for Money Transfer Payments за авторством Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.

Отримати повний текст

Equivalence of two parallel execution systems за авторством Panchenko, T.V., Fabunmi, S.

Отримати повний текст

On the peculiarities of using sparse matrices in problems of mathematical modeling за авторством Khimich, O.M., Popov, A.V., Chystiakov, О.V.

Отримати повний текст

An approach of intelligent searching of information in texts за авторством Chebanuyk, O.V.

Отримати повний текст

Peterson’s algorithm Total correctness proof in IPCL за авторством Zhygallo, A.A.

Отримати повний текст

Agile requirement analysis approach using artificial intelligent technologies за авторством Chebanyuk, O.V.

Отримати повний текст

Formal verification of deep neural networks за авторством Panchuk, B.O.

Отримати повний текст