5. P o d g u r s k i A. and C l a r k e L. A. A formal model of program dependences
and its implications for software testing, debugging, and maintenance // IEEE Trans.
Softw. – Eng. 16. 9 (Sep. 1990). – P. 965–979.
6. С а в е н к о в К. О. Масштабирование дискретно-событийных имитационных
моделей // Дис. . . . канд. физ.-мат. наук. – М.: МГУ им. М.В. Ломоносова, 2007.
7. Р у д а к о в И. В., Р е б р и к о в А. В. Неполная верификация систем, пред-
ставленных в виде вероятностных автоматов с нечеткой функцией переходов //
Информатика и системы управления в XXI веке: Сб. трудов молодых ученых,
аспирантов и студентов МГТУ им. Н.Э. Баумана. – 2010.
8. Р е б р и к о в А. В., Р у д а к о в И. В. Неполная верификация систем, пред-
ставленных в виде вероятностных автоматов с нечеткой функцией переходов
// Материалы тринадцатого науч.-практич. сем. “Новые информационные тех-
нологии в автоматизированных системах”. – М.: Московский государственный
институт электроники и математики, 2010. – С. 291–293.
9. C o m p r e h e n s i v e Perl Archive Network [Электрон. ресурс]. Режим досту-
па:
, свободный.
Статья поступила в редакцию 23.03.2011
Игорь Владимирович Рудаков — канд. техн. наук, доцент кафедры “Программное
обеспечение ЭВМ и информационные технологии” МГТУ им. Н.Э. Баумана. Автор
ряда научных работ в области имитационного моделирования.
I.V. Rudakov — Ph. D. (Eng.), assoc. professor of “Computer Software and Information
Technologies” department of the Bauman Moscow State Technical University. Author of
a number of publications in the field of imitating simulation.
Александр Викторович Ребриков окончил МГТУ им. Н.Э. Баумана в 2010 г. Магистр
техники и технологии МГТУ им. Н.Э. Баумана. Автор пяти научных работ в области
верификации программного обеспечения.
A.V. Rebrikov graduated from the Bauman Moscow State Technical University in 2010.
Holder of Master’s degree in engineering and technology of the Bauman Moscow State
Technical University. Author of five publications in the field of software verification.
124 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2011. № 4
