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

Get full text

Data Integration in the Internet: Linked data by Novytskyi, O.V.

Get full text

About construction of digital library models by Reznichenko, V.A., Proskudina, G.Yu, Kudim, K.A., Ovdiy, О.М.

Get full text

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

Get full text

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

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

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

Get full text

Entity-substance characteristics of educational environment by Parfirova, T.S.

Get full text

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

Get full text

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

Get full text

Metrics selection for the software properties by Dyshlevyi, O.P.

Get full text

Monitoring design flaws in object-oriented software by Nechay, A.S.

Get full text

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

Get full text

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

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

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

Get full text

Toward software artifacts ecosystem by Sydorov, N.A.

Get full text

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

Get full text

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

Get full text

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

Get full text