Issue 4/2020
Content (5 Articles)
Dedicative Verification of Reflex Programs
I. S. Anureev, N. O. Garanina, T. V. Lyakh, A. S. Rozov, V. E. Zyubin, S. P. Gorlatch
Using a System of Heterogeneous Ontology Design Patterns to Develop Ontologies of Scientific Subject Domains
Yu. A. Zagorulko, O. I. Borovikova
Dynamic Program Analysis Tools in GCC and CLANG Compilers
N. I. V’yukova, V. A. Galatenko, S. V. Samborskii