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

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

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

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

Volltext

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

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

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

Formal foundations for software model to model transformation operation von Chebanyuk, O.V.

Volltext