Programming and Computer Software, Volume 31

Volume 31, Number 1, January 2005

• V. A. Nepomniaschy:
  Symbolic method of verification of definite iterations over altered data structures. 1-9
  
• Alexander Kossatchev, Mikhail Posypkin:
  Survey of compiler testing methods. 10-19
  
• Alexey Kalinov, Konstantin Karganov, K. V. Khorenko:
  An approach to the development of debuggers that use semantics of constructs of parallel programs. 20-28
  
• Ekaterina Gorshkova, Boris Novikov, D. D. Belov, V. S. Gurov, S. V. Spiridonov:
  A UML-based modeling of web application controller. 29-33
  
• D. A. Lizorkin, K. Yu. Lisovsky:
  Implementation of the XML linking language XLink by functional methods. 34-46
  
• V. V. Lipaev:
  Problems of the development and quality control of large software systems. 47-49
  

Volume 31, Number 2, March 2005

• Sergei A. Abramov, A. A. Bogolubskaya, V. A. Rostovtsev, Victor F. Edneral:
  The research seminar on computer algebra in 2003-2004. 51-55
  
• Sergey P. Tsarev:
  On the rational summation problem. 56-59
  
• S. P. Polyakov:
  Symbolic additive decomposition of rational functions. 60-64
  
• Anna A. Ryabenko, S. L. Skorokhodov:
  Asymptotics of sums of hypergeometric terms. 65-72
  
• Vladimir P. Gerdt, D. A. Yanovich:
  Parallel computation of Janet and Gröbner bases over rational numbers. 73-80
  
• A. S. Semenov:
  Involutive divisions: Slice and pair properties. 81-86
  
• Vladimir V. Kornyak:
  Cohomologies of restricted Lie algebras of Hamiltonian vector fields: Computer analysis. 87-90
  
• Marina V. Kondratieva, A. I. Ovchinnikov:
  Characteristic sets for ordinary differential equations. 91-96
  
• A. V. Mesyanzhin:
  On a method for finding the roots of an ideal. 97-102
  
• A. I. Bogolubsky, S. L. Skorokhodov:
  Construction of generalized Gauss-Jacobi quadratures by means of computer algebra methods. 103-109
  

Volume 31, Number 3, May 2005

• On the Jubilee of Nikolai Petrovich Brusentsov's Birth. 111-112
  
• Rimma I. Podlovchenko, Dmitry M. Rusakov:
  Program Schemes with Constants. 113-122
  
• Victor V. Toporkov, A. S. Toporkova:
  Measuring the Execution Time of Fragmented Programs. 123-132
  
• D. A. Lizorkin:
  The Query Language to XML Documents Connected by XLink Links. 133-148
  
• S. L. Skorokhodov, D. V. Khristoforov:
  Overcoming Instability in Evaluation of Generalized Hypergeometric Integrals in the Case of Crowding of Singular Points. 149-156
  
• V. V. Monakhov, A. V. Kozhedub, P. A. Naumenko, L. A. Evstigneev, M. A. Krukelis, D. V. Solodovnikov, I. B. Kernitskii:
  BARSIC: A Programming System for Physicists. 157-165
  

Volume 31, Number 4, July 2005

• S. D. Shtovba:
  Ant Algorithms: Theory and Applications. 167-178
  
• F. M. Puchkov, K. A. Shapchenko:
  Static Analysis Method for Detecting Buffer Overflow Vulnerabilities. 179-189
  
• V. M. Mikhelev:
  Specific Features of the Control Structure in the Programming Language MARKIZ. 190-196
  
• A. V. Leonov, R. R. Khusnutdinov:
  Study and Development of the DTD Generation System for XML Documents. 197-210
  
• O. A. Slavin:
  Recognition Algorithms for Structured Documents with Variable Content. 211-223
  

Volume 31, Number 5, September 2005

• I. V. Konnov, Vladimir A. Zakharov:
  An Approach to the Verification of Symmetric Parameterized Distributed Systems. 225-236
  
• S. E. Bazhanov, V. P. Kutepov, D. A. Shestakov:
  Functional Parallel Typified Language and Its Implementation on Clusters. 237-269
  
• Nickolai A. Likhoded, S. V. Bakhanovich, A. V. Zherelo:
  Obtaining Affine Transformations to Improve Locality of Loop Nests. 270-281
  
• B. Kh. Barladian, A. G. Voloboi, N. I. V'yukova, V. A. Galaktionov, N. B. Deryabin:
  Illumination Modeling and Generation of Realistic Images Using Internet Technologies. 282-291
  

Volume 31, Number 6, November 2005

• L. Ya. Savel'ev:
  An Algorithm for Partitioning a Set into Simple Parts. 293-300
  
• Victor V. Kuliamin:
  Test Sequence Construction Using Minimum Information on the Tested System. 301-309
  
• Sergey V. Zelenov, Sophia A. Zelenova:
  Generation of Positive and Negative Tests for Parsers. 310-320
  
• S. S. Gorelov, V. A. Vasenin:
  Search Optimization in Semistructured Databases Using Hierarchy of Document Schemas. 321-331
  
• O. G. Sharov, A. N. Afanas'ev:
  Syntax-Directed Implementation of Visual Languages Based on Automaton Graphical Grammars. 332-339
  
• V. A. Kostenko, E. S. Gur'yanov:
  An Algorithm for Scheduling Exchanges over a Bus with Centralized Control and an Analysis of Its Efficiency. 340-346
  
• Irina Virbitskaite:
  Information Announcement on Sixth International Andrei Ershov Memorial Conference "Perspectives of System Informatics, " 27-30 June 2006, Novosibirsk, Akademgorodok, Russia. 347-349