60 Years of Databases (part one) von V. A. Reznichenko

Volltext

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

Volltext

Mathematical foundations for designing and development of intelligent systems of information analysis von D. O. Terletskyi, O. I. Provotar

Volltext

Deductive verification of requirements for event-driven architecture von A. Letichevsky, O. Letychevskyi, V. Peschanenko, A. Guba

Volltext

Tete-a-tete project: software engineering tools supporting understanding von V. P. Hrytsay, L. M. Zakhariya

Volltext

Models and tools for effective-ness increase of requirements traceability in agile-software development von M. V. Tkachuk, R. O. Gamzayev, H. C. Mayr, V. O. Bolshutkin

Volltext

Reputation-based secyrity for heterogtneous structurally complex systems von O. M. Kussul

Volltext