Другие журналы
|
электронный журналМОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИКИздатель Академия инженерных наук им. А.М. Прохорова. Эл No. ФС77-51038. ISSN 2307-0609
Методы и перспективы статического анализа программного кода
Молодежный научно-технический вестник # 12, декабрь 2015 УДК: 004.42
Файл статьи:
Лебедев В.И..pdf
(197.65Кб)
1. Ахо А. Компиляторы: принципы, технологии и инструменты. М.: Издательский дом «Вильямc», 2003. 421 c. 2. Грис Д. Конструирование компиляторов для цифровых вычислительных машин. М.: Издательство «Мир», 1975. 295 c. 3. Карпов А.Н. 20 ловушек переноса С++-кода на 64-битную платформу // RSDN-Magazine. 2007. № 1. C. 67-75. 4. Карпов А.Н. Статический анализатор PVS-Studio и его аналоги // IT-Tech. 2013. № 6. C. 43-58. 5. Макконнелл С. Совершенный код. СПб.: Питер, 2007. 252 c. 6. Рыжков Е.А. Подходы к верификации и тестированию 64-битных приложений // Информационные технологии. 2008. № 7. C. 154-162. 7. Себеста Р. Основные концепции языков программирования. М.: Издательский дом «Вильямc», 2001. 370 c. 8. Ларус Д., Болл Т., Дас М. О Безошибочных программах // Открытые системы. 2007. №8. C. 120-128. Публикации с ключевыми словами: тестирование, статический анализ, разработка программного обеспечения, код программы Публикации со словами: тестирование, статический анализ, разработка программного обеспечения, код программы Смотри также: Тематические рубрики: Поделиться:
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|