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

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

Volltext

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

Volltext

The usage of ontologies for semantics analysis of texts on natural language von Lescko, O.N., Rogushina, J.V.

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

Entity-substance characteristics of educational environment von Parfirova, T.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

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

Volltext

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

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