Journals in DBLP

Programming and Computer Software
2005, volume: 31, number: 1

1. V. A. Nepomniaschy
   Symbolic method of verification of definite iterations over altered data structures. [Citation Graph (0, 0)][DBLP]
   Programming and Computer Software, 2005, v:31, n:1, pp:1-9 [Journal]
   
2. Alexander Kossatchev, Mikhail Posypkin
   Survey of compiler testing methods. [Citation Graph (0, 0)][DBLP]
   Programming and Computer Software, 2005, v:31, n:1, pp:10-19 [Journal]
   
3. Alexey Kalinov, Konstantin Karganov, K. V. Khorenko
   An approach to the development of debuggers that use semantics of constructs of parallel programs. [Citation Graph (0, 0)][DBLP]
   Programming and Computer Software, 2005, v:31, n:1, pp:20-28 [Journal]
   
4. Ekaterina Gorshkova, Boris Novikov, D. D. Belov, V. S. Gurov, S. V. Spiridonov
   A UML-based modeling of web application controller. [Citation Graph (0, 0)][DBLP]
   Programming and Computer Software, 2005, v:31, n:1, pp:29-33 [Journal]
   
5. D. A. Lizorkin, K. Yu. Lisovsky
   Implementation of the XML linking language XLink by functional methods. [Citation Graph (0, 0)][DBLP]
   Programming and Computer Software, 2005, v:31, n:1, pp:34-46 [Journal]
   
6. V. V. Lipaev
   Problems of the development and quality control of large software systems. [Citation Graph (0, 0)][DBLP]
   Programming and Computer Software, 2005, v:31, n:1, pp:47-49 [Journal]