Journal: Programming and Computer Software

Volume 44, Issue 1

1 -- 14Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron. Test Generation from Event System Abstractions to Cover Their States and Transitions
15 -- 22Dmitry Shachnev, Dmitry Karpenko. Using Subject Area Ontology for Automating Processes in Sphere of Scientific Investigation and Education
23 -- 34Natalya Olegovna Garanina, Elena A. Sidorova, A. S. Seryi. Multiagent Approach to Coreference Resolution Based on the Multifactor Similarity in Ontology Population
35 -- 42N. I. V'yukova, V. A. Galatenko, S. V. Samborskii. Support for Parallel and Concurrent Programming in C++
43 -- 50V. P. Kozyrev, M. A. Saburov. Satisfying DO-178C Structural Coverage Objectives
51 -- 61Vladimir Pavlov, Vadim Pak. Theorem Prover for Intuitionistic Logic Based on the Inverse Method
62 -- 74George Chernishev, Vyacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov 0001. PosDB: An Architecture Overview