Programming and Computer Software, Volume 33

Volume 33, Number 1, February 2007

• On the jubilee of Lev Nikolaevich Korolev's birth. 1
  Electronic Edition (link) BibTeX
• A. V. Babichev, V. G. Lebedev:
  Model-100: Specification language for interacting processes. 2-13
  Electronic Edition (link) BibTeX
• Alexei Lisitsa, Andrei P. Nemytykh:
  Verification as a parameterized testing (experiments with the SCP4 supercompiler). 14-23
  Electronic Edition (link) BibTeX
• Andrey N. Terekhov, V. V. Sokolov:
  Implementation of the conformation of MSC and SDL diagrams in the REAL technology. 24-33
  Electronic Edition (link) BibTeX
• A. V. Klepinin:
  On a universal model for the organization of database access. 34-43
  Electronic Edition (link) BibTeX
• M. B. Kuznetsov:
  UML model transformation and its application to MDA technology. 44-53
  Electronic Edition (link) BibTeX

Volume 33, Number 2, March 2007

• Sergei A. Abramov, A. A. Bogolubskaya, Vitaly Rostovtsev, Victor F. Edneral:
  The research seminar on computer algebra in 2005-2006. 55-59
  Electronic Edition (link) BibTeX
• Alexander N. Prokopenya:
  Symbolic computation in studying stability of solutions of linear differential equations with periodic coefficients. 60-66
  Electronic Edition (link) BibTeX
• E. S. Shemyakova, F. Wincler:
  Obstacles to factorization of partial differential operators into several factors. 67-73
  Electronic Edition (link) BibTeX
• N. D. Gogin, A. A. Myllari:
  The Fibonacci-Padovan sequence and MacWilliams transform matrices. 74-79
  Electronic Edition (link) BibTeX
• Eugene V. Zima, A. M. Stewart:
  Cunningham numbers in modular arithmetic. 80-86
  Electronic Edition (link) BibTeX
• Vladimir V. Kornyak:
  Symmetric cellular automata. 87-93
  Electronic Edition (link) BibTeX
• Alexander V. Zorin, Leonid A. Sevastianov, N. P. Tretyakov:
  Computer modeling of hydrogen-like atoms in quantum mechanics with nonnegative distribution function. 94-104
  Electronic Edition (link) BibTeX
• Sergey I. Vinitsky, Vladimir P. Gerdt, A. A. Gusev, Michael S. Kaschiev, Vitaly Rostovtsev, V. N. Samoilov, T. V. Tupikova, Ochbadrakh Chuluunbaatar:
  A symbolic-numerical algorithm for the computation of matrix elements in the parametric eigenvalue problem. 105-116
  Electronic Edition (link) BibTeX
• S. I. Serdyukova:
  Inverse problem for the two-dimensional discrete Schrödinger equation in a square. 117-119
  Electronic Edition (link) BibTeX

Volume 33, Number 3, May 2007

• Rimma I. Podlovchenko, Dmitry M. Rusakov:
  Inclusion problem in algebraic models of programs with constants. 121-131
  Electronic Edition (link) BibTeX
• S. A. Abramov, S. P. Polyakov:
  Improved universal denominators. 132-138
  Electronic Edition (link) BibTeX
• A. S. Semenov, P. A. Zyuzikov:
  Involutive divisions and monomial orderings. 139-146
  Electronic Edition (link) BibTeX
• Vladimir P. Gerdt, Yuri A. Blinkov:
  On selection of nonmultiplicative prolongations in computation of Janet bases. 147-153
  Electronic Edition (link) BibTeX
• Victor V. Kuliamin:
  Standardization and testing of implementations of mathematical functions in floating point numbers. 154-173
  Electronic Edition (link) BibTeX
• Irina Virbitskaite:
  Sixth International Conference "Perspectives of System Informatics". 174-179
  Electronic Edition (link) BibTeX

Volume 33, Number 4, July 2007

• V. A. Vasenin, Alexander Vodomerov:
  A formal model of a system for automated program parallelization. 181-194
  Electronic Edition (link) BibTeX
• D. Yu. Gamayunov, R. L. Smelyanskii:
  A model of the behavior of network objects in distributed computer systems. 195-203
  Electronic Edition (link) BibTeX
• Maria P. Grineva, Maxim N. Grinev:
  Query triggers for XML DBMS: Efficient implementation based on shadow mechanism. 204-213
  Electronic Edition (link) BibTeX
• Ya. R. Faizulkhakov:
  Time synchronization methods for wireless sensor networks: A survey. 214-226
  Electronic Edition (link) BibTeX
• Sh. E. Bozoyan, V. S. Yeghiazaryan:
  The Alex language for circuit description. 227-237
  Electronic Edition (link) BibTeX

Volume 33, Number 5, September 2007

• Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin:
  Formalization of test experiments. 239-260
  Electronic Edition (link) BibTeX
• Alexey V. Demakov:
  Object-oriented description of graph data structures. 261-271
  Electronic Edition (link) BibTeX
• V. P. Ivannikov, A. S. Kamkin, Alexander Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko:
  The use of contract specifications for representing requirements and for functional testing of hardware models. 272-282
  Electronic Edition (link) BibTeX
• D. G. Shopyrin, A. A. Shalyto:
  Graphical inheritance notation for state-based classes. 283-292
  Electronic Edition (link) BibTeX
• V. B. Novoseltsev:
  Synthesis of parallel recursive programs in structural functional models. 293-298
  Electronic Edition (link) BibTeX

Volume 33, Number 6, November 2007

• D. M. Rusakov:
  Scheme inclusion verification algorithm in algebraic model of programs with constants. 299-306
  Electronic Edition (link) BibTeX
• N. I. V'yukova, V. A. Galatenko, S. V. Samborskii:
  Software pipelining of loops by the method of modulo scheduling. 307-315
  Electronic Edition (link) BibTeX
• N. V. Pakulin, Alexey V. Khoroshilov:
  Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols. 316-335
  Electronic Edition (link) BibTeX
• N. A. Taranukha, Z. A. Izabekov:
  A method for voxel visualization of 3D objects. 336-342
  Electronic Edition (link) BibTeX
• V. S. Gurov, M. A. Mazin, A. S. Narvsky, A. A. Shalyto:
  Tools for support of automata-based programming. 343-355
  Electronic Edition (link) BibTeX