60 Years of Databases (part one) за авторством V. A. Reznichenko

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

Traversal of arbitrary sequences of UCM symbolic transitions for test generation за авторством A. A. Guba

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

Mathematical foundations for designing and development of intelligent systems of information analysis за авторством D. O. Terletskyi, O. I. Provotar

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

Deductive verification of requirements for event-driven architecture за авторством A. Letichevsky, O. Letychevskyi, V. Peschanenko, A. Guba

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

Tete-a-tete project: software engineering tools supporting understanding за авторством V. P. Hrytsay, L. M. Zakhariya

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

Models and tools for effective-ness increase of requirements traceability in agile-software development за авторством M. V. Tkachuk, R. O. Gamzayev, H. C. Mayr, V. O. Bolshutkin

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

Reputation-based secyrity for heterogtneous structurally complex systems за авторством O. M. Kussul

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