Development of integrated system of scientific periodicals based on the OJS von Kudim, K.A., Reznichenko, V.A., Novitsky, A.V., Proskudina, G.Yu., Ovdii, O.M.

Volltext

Traversal of arbitrary sequences of UCM symbolic transitions for test generation von Guba, A.A.

Volltext

Regression testing: techniques and future research directions von Moroz, H.B., Plys, A.B.

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

About one Approach for the Verification of Algebraic Computations von Lvov, M.S.

Volltext

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

Volltext

An approach to behavioral software models refinement using design patterns von Chebanyuk, O.B.

Volltext

Formal model of scientific publication von Reznichenko, V.A., Proskudina, G.Yu., Ovdii, O.M.

Volltext

Decision support system for quality management in study process von Komleva, N.O., Liubchenko, V.V., Zinovatna, S.L.

Volltext

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

Volltext

A GPU-based singular value decomposition algorithm von Sukharskyi, S.S.

Volltext

Toward software artifacts ecosystem von Sydorov, N.A.

Volltext

Domain engineering approach of software requirements analysis von Chebanyuk, O.V., Palahin, O.V., Markov, K.K.

Volltext

Correctness Property Proof for the Banking System for Money Transfer Payments von Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.

Volltext

Equivalence of two parallel execution systems von Panchenko, T.V., Fabunmi, S.

Volltext

On the peculiarities of using sparse matrices in problems of mathematical modeling von Khimich, O.M., Popov, A.V., Chystiakov, О.V.

Volltext

An approach of intelligent searching of information in texts von Chebanuyk, O.V.

Volltext

Peterson’s algorithm Total correctness proof in IPCL von Zhygallo, A.A.

Volltext

Agile requirement analysis approach using artificial intelligent technologies von Chebanyuk, O.V.

Volltext

Formal verification of deep neural networks von Panchuk, B.O.

Volltext