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.

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

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1 за авторством Kolesnyk, V.G.

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

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

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

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

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

DS-theory. Presentation of canonical algorithm by means of algorithmic language за авторством Kolesnyk, V.G.

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

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

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

DS-theory. The research of P-data factors formating за авторством Kolesnyk, V.G.

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

On the possibility of a systematic study of the production management systems за авторством Kolesnyk, V.G.

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

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.

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

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 2 за авторством Kolesnyk, V.G.

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

The architecture and functionality of the multi-agent system Navigation за авторством Yalovets, A.L.

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

Description model of programming style ecosystem за авторством Sydorov, N.A., Sydorova, N.N., Sydorov, E.N.

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

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

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

DS-theory. Scientific aspects and prospects for development за авторством Kolesnyk, V.G.

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