The articles "Using Static Analysis in Program Development" and "Adaptation of the technology of the static code analyzer for developing parallel programs" were published in issue N3 of "Izvestiya TulGU. Tehnicheskie Nauki" magazine, 2008.
You can find the online versions of these articles on our site.
The magazine considers scientific and technical problems in the sphere of engineering industry and science, technologies and equipment for working metals with pressure and cutting, modeling welding processes, questions of transport, management, computers, IT and life safety. The materials are intended for scientists, higher-school teachers, students and graduate students specializing in the sphere of technical sciences.