Монографии
- В.В. Кулямин. Технологии программирования. Компонентный подход. М. Интернет-университет информационных технологий - БИНОМ. Лаборатория знаний, 2007.
Другие публикации
- Кристиансен Х., Рекуц М. Проверка и поддержание целостности в XML базах данных с помощью активных правил. In Proc. of BNCODwebim, BNCOD Workshop on Web Information management, Glasgow, UK, 2-3 July, 2007.
- Гринёва М.П., Гринёв М.Н. Триггеры на выборку данных в XML-ориентированных СУБД: эффективная реализация с использованием теневого механизма. Программирование, 2007, N 4, стр. 32-45.
- Плешачков П., Кузнецов С. SXDGL: Протокол Управления Согласованностью Основанный на Моментальных Снимках для XML данных. VLDB Symposium XSym 2007.
- Турдаков Д. Рекомендательная система основанная на создаваемом пользователем содержимом. SYRCoDIS, 2007.
- Пастухов Р. Метод выполнения полнотекстовых запросов в прирождённых XML базах данных. SYRCoDIS, 2007.
- К.В. Ребриков, В.З. Шнитман Протоколы автоматического установления контекстов безопасности и управления ключами в Интернет. Препринт ИСП РАН, 19. М., 2007, стр. 72.
- Н.В. Пакулин Применение формальных методов для тестирования реализаций сложных современных протоколов. Сборник трудов международного семинара "Go4IT - шаг к новым технологиям Интернета", ИСП РАН, М., 2007 г., стр. 11-18.
- А.В. Хорошилов О генерации последовательностей тестовых воздействий при тестировании телекоммуникационных протоколов на основе моделей. Сборник трудов международного семинара "Go4IT - шаг к новым технологиям Интернета", ИСП РАН, М., 2007 г., стр. 19-25.
- В.В. Кулямин Подходы к организации сложных тестовых наборов". Сборник трудов международного семинара "Go4IT - шаг к новым технологиям Интернета. Сборник трудов международного семинара "Go4IT - шаг к новым технологиям Интернета", ИСП РАН, М., 2007 г., стр. 4-11.
- Н.В. Пакулин, А.В. Хорошилов Разработка формальных моделей и тестирование соответствия для систем с асинхронными интерфейсами и телекоммуникационных протоколов. Журнал "Программирование" № 5, 2007 г., стр. 1-29.
- Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В. Современные методы обфускации программ: классификация и сравнительный анализ. Известия Южного федерального университета. Технические науки, 2007, том 76, № 1, с. 93-99.
- Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Подловченко Р.И., Шокуров А.В., Щербина В.Л. О применении методов деобфускации программ для обнаружения сложных компьютерных вирусов. Известия Южного федерального университета. Технические науки, том 2, № 7, с. 18-27.
- И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Формализация тестового эксперимента. Программирование, №5, 2007, стр. 3-32.
- В.П.Иванников, А.С.Камкин, А.С.Косачев, В.В.Кулямин, А.К.Петренко. Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры. Программирование, №5, 2007, стр. 47-61.
- А.В.Демаков. Объектно-ориентированное описание графовых структур данных. Программирование, Вып.33, №5, 2007.
- В.В.Кулямин. Стандартизация и тестирование реализаций математических функций, работающих с числами с плавающей точкой. Программирование, Вып.33, №3, 2007, стр. 44-72.
- А.В.Хорошилов. Формальное описание интерфейсов как средство улучшения интероперабельности. Сборник докладов международной конференции "Стандартизация информационных технологий и интероперабельность", стр. 61-67, Москва, 2-3 октября 2007 г.
- В.В.Кулямин, А.К.Петренко, В.В.Рубанов, А.В.Хорошилов. Формализация интерфейсных стандартов и автоматическое построение тестов соответствия. Информационные технологии, 8:2-7, М. Новые технологии, 2007.
- И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Безопасность, верификация и теория конформности. "Материалы второй международной научной конференции по проблемам безопасности и противодействия терроризму. МГУ 2006", М., МЦНМО, 2007, стр. 135-158.
- S.Zelenov, S.Zelenova. Model-Based Testing of Optimizing Compilers. Proc. of the 19th IFIP TC6/WG6.1 International Conference on Testing of Software and Communicating Systems - 7th International Workshop on Formal Approaches to Testing of Software (TestCom/FATES 2007), LNCS 4581, Springer-Verlag, Berlin, 2007, 365-377.
- М.Д. Калугин Разработка параллельного алгоритма компьютерного моделирования теплового движения молекул воды в среде ParJava. IV Российско-Германская школа по параллельному программированию и высокопроизводительным вычислительным системам, Новосибирск, Академгородок, 9-20 июля 2007 года, Аннотации докладов научной сессии. Вычислительные технологии. 2007. Т. 12. № 6. С. 138-142
- В.П. Иванников. Предисловие.
Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 5-6.
- С.Н. Жук. Онлайновый алгоритм упаковки прямоугольников в несколько полос с гарантированными оценками точности.
Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 7-16.
- Н.Н. Кузюрин, А.И. Поспелов. Вероятностный анализ различных шельфовых алгоритмов упаковки прямоугольников в полосу.
Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 17-26.
- Н.П. Варновский, А.В. Шокуров. Гомоморфное шифрование.
Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 27-36.
- I.V. Konnov, V.A. Zakharov. On the verification of asynchronous parameterized networks of communicating processes by model checking.
Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 37-58.
- P.E. Bulychev, I.V. Konnov, V.A. Zakharov. Computing (bi)simulation relations preserving CTL*x. for ordinary and fair Kripke structures.
Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 59-76.
- N.N. Kuzjurin, R.I. Podlovchenko, V.S. Scherbina, V.A. Zakharov. Using algebraic models of programs for detecting metamorphic malwares
Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 77-94.
- И.А. Лавров. Сложность вычислений на абстрактных машинах.
Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 95-122.
- В.П. Иванников. Предисловие.
Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 3-4.
- Н.В. Пакулин, А.К. Петренко, О.Л. Петренко, А.А. Сортов, А.В. Хорошилов. Открытые стандарты и новые формы международного сотрудничества.
Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 7-30.
- Д. В. Силаков. Текущее состояние и перспективы развития инфраструктуры LSB.
Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 31-46.
- С.В. Зеленов, Н.В. Пакулин. Верификация компиляторов – систематический подход.
Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 47-64.
- В.В. Гингина, С.В. Зеленов, С.А. Зеленова. Тестирование трансляторов: проблема построения оракула для генератора кода.
Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 65-78.
- Д.Ю. Кичигин. Об одном методе сокращения набора тестов.
Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 79-92.
- К.А. Власов, А.С. Смачёв. Методика автоматизированной проверки возвращаемых кодов ошибок при тестировании программных интерфейсов.
Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 93-102.
- В.С. Мутилин. Тестирование компонентов, взаимодействующих посредством удаленного вызова методов.
Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 103-122.
- А.С. Камкин. Использование контрактных спецификаций для автоматизации функционального тестирования моделей аппаратного обеспечения.
Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 123-142.
- Д.В. Зацепин, В.З. Шнитман. Особенности применения технологии UniTESK для тестирования функций мобильности в протоколе IPv6.
Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 143-170.
- В.П. Иванников. Предисловие.
Труды Института системного программирования РАН. Том 13, часть 2, 2007 г. Стр. 5-6
- Е.Д. Волкова, А.Д. Страбыкин. Методы композиции и декомпозиции исполняемых UML моделей.
Труды Института системного программирования РАН. Том 13, часть 2, 2007 г. Стр. 7-36.
- Л.Е. Карпов, В.Н. Юдин. Адаптивное управление по прецедентам, основанное на классификации состояний управляемых объектов.
Труды Института системного программирования РАН. Том 13, часть 2, 2007 г. Стр. 37-58.
- Г.Т. Маракаева. Система классификации химических проб.
Труды Института системного программирования РАН. Том 13, часть 2, 2007 г. Стр. 59-76.
- Б.Б. Костенко, С.Д. Кузнецов. История и актуальные проблемы темпоральных баз данных.
Труды Института системного программирования РАН. Том 13, часть 2, 2007 г. Стр. 77-114.
- С.Д. Кузнецов. Объектно-реляционные базы данных: прошедший этап или недооцененные возможности?
Труды Института системного программирования РАН. Том 13, часть 2, 2007 г. Стр. 115-140.
- В.А. Семенов, С.Г. Ерошкин, А.А. Караулов, И.В. Энкович. Семантическая реконсиляция прикладных данных на основе моделей.
Труды Института системного программирования РАН. Том 13, часть 2, 2007 г. Стр. 141-164.
- В.В. Рубанов, К.А. Власов. Разработка ОС реального времени для цифрового сигнального процессора.
Труды Института системного программирования РАН. Том 13, часть 2, 2007 г. Стр. 165-178.
Вернуться к списку всех публикаций