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.

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

Data Integration in the Internet: Linked data за авторством Novytskyi, O.V.

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

About construction of digital library models за авторством Reznichenko, V.A., Proskudina, G.Yu, Kudim, K.A., Ovdiy, О.М.

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

The usage of ontologies for semantics analysis of texts on natural language за авторством Lescko, O.N., Rogushina, J.V.

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

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.

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

Entity-substance characteristics of educational environment за авторством Parfirova, T.S.

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

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

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

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

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

Metrics selection for the software properties за авторством Dyshlevyi, O.P.

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

Monitoring design flaws in object-oriented software за авторством Nechay, A.S.

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

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.

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