Vol. 44, No. 1, 2018

Programming and Computer Software

A simultaneous English language translation of this journal is available from Pleiades Publishing, Ltd.
Distributed worldwide by Springer. Programming and Computer Software ISSN 0361-7688.

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

J. Julliand, O. Kouchnarenko, P. A. Masson and G. Voiron p. 1 abstract

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

Dmitry Shachnev and Dmitry Karpenko p. 15 abstract

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

N. O. Garanina, E. A. Sidorova and A. S. Seryi p. 23 abstract

Support for Parallel and Concurrent Programming in C++

N. I. V’yukova, V. A. Galatenko and S. V. Samborskii p. 35 abstract

Satisfying DO-178C Structural Coverage Objectives

V. P. Kozyrev and M. A. Saburov p. 43 abstract

Theorem Prover for Intuitionistic Logic Based on the Inverse Method

V. A. Pavlov and V. G. Pak p. 51 abstract

PosDB: An Architecture Overview

G. A. Chernishev, V. A. Galaktionov, V. D. Grigorev, E. S. Klyuchikov and K. K. Smirnov p. 62 abstract

Contents

Programming and Computer Software