1. Test Generation from Event System Abstractions to Cover Their States and Transitions

   • J. Julliand
   • O. Kouchnarenko
   • G. Voiron

   OriginalPaper 09 March 2018 Pages: 1 - 14

2. Using Subject Area Ontology for Automating Processes in Sphere of Scientific Investigation and Education

   • Dmitry Shachnev
   • Dmitry Karpenko

   OriginalPaper 09 March 2018 Pages: 15 - 22

3. Multiagent Approach to Coreference Resolution Based on the Multifactor Similarity in Ontology Population

   • N. O. Garanina
   • E. A. Sidorova
   • A. S. Seryi

   OriginalPaper 09 March 2018 Pages: 23 - 34

4. Support for Parallel and Concurrent Programming in C++

   • N. I. V’yukova
   • V. A. Galatenko
   • S. V. Samborskii

   OriginalPaper 09 March 2018 Pages: 35 - 42

5. Satisfying DO-178C Structural Coverage Objectives

   • V. P. Kozyrev
   • M. A. Saburov

   OriginalPaper 09 March 2018 Pages: 43 - 50

6. Theorem Prover for Intuitionistic Logic Based on the Inverse Method

   • V. A. Pavlov
   • V. G. Pak

   OriginalPaper 09 March 2018 Pages: 51 - 61

7. PosDB: An Architecture Overview

   • G. A. Chernishev
   • V. A. Galaktionov
   • K. K. Smirnov

   OriginalPaper 09 March 2018 Pages: 62 - 74