Институт системного программирования Роcсийской академии наук


Что искать

Искать в:

Публикации
Труды ИСП РАН
Везде

Публикации за 2003 год

Диссертации

  1. Гринев М. Н. Модельно-языковые средства управления данными. Кандидатская диссертация, ВМиК МГУ, 2003.

Другие публикации

  1. Антипин К., Фомичёв А., Гринёв М., Кузнецов С., Новак Л., Плешачков П., Рекуц М., Ширяев Д. Эффективная интеграция виртуальных данных на основе XML. 7th East-European Conference on Advances in Databases and Information Systems (ADBIS), 2003.
  2. Гринёв М. Обзор кандидатской диссертации: оптимизация XQuery, основанная на перезаписи.
  3. Г.В. Ключников, Д.С. Мишин, Д.В. Москалев, В.З. Шнитман Использование методов трансляции протоколов и адресов для обеспечения совместимости IPv4 и IPv6. Сборник трудов Всероссийской научной конференции "Научный сервис в сети Интернет", г. Новороссийск, 2003, стр. 316-318.
  4. А.С. Косачев, Н.В. Пакулин, А.К. Петренко, В.З. Шнитман Формализация требований Интернет-стандартов для тестирования реализаций коммуникационных протоколов. Сборник трудов Всероссийской научной конференции "Научный сервис в сети Интернет", г. Новороссийск, 2003, стр. 318-321.
  5. Г.В. Ключников, А.В. Никешин, Д.С. Мишин, Д.В. Москалев, В.З. Шнитман Тестирование сетевых модулей и генератор сетевых пакетов. Сборник тезисов Международной конференции "Интернет нового поколения - IPv6", г. Ярославль, 2003, стр. 26-31.
  6. Г.В. Ключников, А.С. Косачев, Н.В. Пакулин, А.К. Петренко, В.З. Шнитман Применение формальных методов для тестирования Mobile IPv6. Сборник тезисов Международной конференции "Интернет нового поколения - IPv6", г. Ярославль, 2003, стр. 20-25.
  7. Захаров В.А., Викторова М.С. Об одной системе вывода, связанной со статическим анализом программ. Труды V Международной конференции «Дискретные модели в теории управляющих систем», (Ратмино, 26-29 мая 2003 г.), 2003, МАКС-Пресс - МГУ Москва, с. 26-29.
  8. Захаров В.А., Захарьящев И.М. Об одной полисемантической модели последовательных программ. Труды V Международной конференции «Дискретные модели в теории управляющих систем", (Ратмино, 26-29 мая 2003 г.), 2003, МАКС Пресс-МГУ Москва, том 1, с. 26-29.
  9. Захаров В.А., Иванов К.С. О противодействии некоторым алгоритмам статического анализа программ. Труды конференции "Математика и безопасность информационных технологий" (МаБИТ-03) , Москва, 22-24 октября 2003 г, 2003, Московский Центр Непрерывного Математического Образования Москва, с. 282-287.
  10. Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В. О перспективах решения задачи обфускации компьютерных программ. Труды конференции (МаБИТ-03) , Москва, 22-24 октября 2003 г, 2003, Московский Центр Непрерывного Мватематического Образования Москва, с. 344-352.
  11. Варновский Н.П., Захаров В.А. К вопросу о существовании стойких обфускаторов программ. Труды V Международной конференции «Дискретные модели в теории управляющих систем», (Ратмино, 26-29 мая 2003 г.), 2003, МАКС-Пресс - МГУ Москва, с. 26-29.
  12. И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин, А.К.Петренко. Подход UniTesK к разработке тестов. Программирование, №6, 2003, стр. 25-43.
  13. И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Неизбыточные алгоритмы обхода графов: детерминированный случай. Программирование, Вып.29, №5, 2003, стр. 59-69.
  14. С.В.Зеленов, С.А.Зеленова, А.С.Косачев, А.К.Петренко. Генерация тестов для компиляторов и других текстовых процессоров. Программирование, Вып.29, №2, 2003, стр. 59-69.
  15. V.Kuliamin, A.Petrenko, A.Kossatchev, I.Bourdonov. UniTesK: Model Based Testing in Industrial Practice. Proceedings of the 1-st European Conference on Model-Driven Software Engineering, Nurnberg, December 2003, pp. 55-63.
  16. V.V.Kuliamin, A.K.Petrenko, N.V.Pakoulin, A.S.Kossatchev, I.B.Bourdonov. Integration of Functional and Timed Testing of Real-time and Concurrent Systems. Proc. of PSI 2003, LNCS 2890, pp. 450-461, Springer-Verlag, 2003.
  17. Е.Н.Бритвина, С.Г.Грошев, А.Монахов, А.К.Петренко, О.Л.Петренко Тестирование на основе моделей. Открытые системы, Москва, № 9, 2003, стр. 41-47.
  18. Семенов В.А., Бажан А.А., Морозов С.В., Тарлапан О.А. Модельно-ориентированный подход к построению прикладных интегрированных систем следующего поколения. Альтернативы применения. Методы и средства обработки информации: Труды первой Всероссийской научной конференции. Издательство: Издательский отдел факультета ВМиК МГУ им. М.В. Ломоносова, 2003. Стр. 492-497.
  19. В.П. Иванников. Предисловие Труды Института системного программирования РАН. Том 4, 2003 г. Стр. 5-6.
  20. И.Б. Бурдонов, А.С. Косачев, В.В. Кулямин. Асинхронные автоматы: классификация и тестирование. Труды Института системного программирования РАН. Том 4, 2003 г. Стр. 7-83.
  21. А.В. Чернов. Об одном методе маскировки программ. Труды Института системного программирования РАН. Том 4, 2003 г. Стр. 85-119.
  22. Г.В. Ключников, А. С. Косачев, Н.В. Пакулин, А. К. Петренко, В.З. Шнитман Применение формальных методов для тестирования реализации IPv6. Труды Института системного программирования РАН. Том 4, 2003 г. Стр. 121-140.
  23. К.В. Ахтырченко, Т.П. Сорокваша. Методы и технологии реинжиниринга ИС. Труды Института системного программирования РАН. Том 4, 2003 г. Стр. 141-162.
  24. В. В. Кулямин, О. Л. Петренко. Место тестирования среди методов оценки качества ПО. Труды Института системного программирования РАН. Том 4, 2003 г. Стр. 163-175.
  25. Д.Н. Волков. Вопросы организации распределенного хранения данных в системах обработки изображений. Труды Института системного программирования РАН. Том 4, 2003 г. Стр. 177-190.
  26. Л.Г. Новак, С.Д. Кузнецов. Свойства схем данных XML. Труды Института системного программирования РАН. Том 4, 2003 г. Стр. 191-218.
  27. Д.Р. Ширяев. Автоматическая генерация графических пользовательских интерфейсов доступа к интегрированным данным на основе диаграмм классов UML. Труды Института системного программирования РАН. Том 4, 2003 г. Стр. 219-231.

Вернуться к списку всех публикаций