RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Баранов Сергей Николаевич

В базах данных Math-Net.Ru
Публикаций: 8
Научных статей: 8
Цитированных статей: 2
Ссылок в Math-Net.Ru: 7

Статистика просмотров:
Эта страница:697
Страницы публикаций:474
Полные тексты:190
Списки литературы:69
профессор
доктор физико-математических наук (1990)
Специальность ВАК: 05.13.11 (математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей)
E-mail:
Ключевые слова: технология программированияб спецификация требований, верификация и валидация, автоматизация тестирования, процесс разработки программ.

Основные темы научной работы

Технология программирования, процесс разработки программных продуктов, программная архитектура, верификация спецификаций требований.

   
Основные публикации:
  1. Baranov S., Kotlyarov V., Weigert Th., “Test Automation with Verifiable Coverage Criteria”, Ershov Informatics Conference PSI Series, Preliminary Proceedings (June 27–July 1, 2011), Akademgorodok, Novosibirsk, 2011, 267–273
  2. Baranov S., Kapitonova J., Letichevsky A., Volkov V., Weigert Th., “Basic Protocols, Message Sequence Charts, and Verification of Requirements Specifications”, Computer Networks, 49:5 (2005), 661–675
  3. Baranov S., Kotlyarov V., Letichevsky A., “An Industrial Technology of Test Automation Based on Verified Behavioral Models of Requirement Specifications for Telecommunication Applications”, The The IEEE Region 8 Eurocon 2009 Conference (May 18–23, 2009, St. Petersburg, Russia), 2009, 122–129
  4. Баранов С, Вайгерт Т., Капитонова Ю., Котляров В., Летичевский А., Летичевский А.мл., “Спецификация систем с помощью базовых протоколов”, Кибернетика и системный анализ, 2005, № 4, 3–21
  5. Баранов С., “Процесс разработки программ как основа профессиональной деятельности программистов”, Компьютерные инструменты в образовании, 2002, № 3-4, 21–29

http://www.mathnet.ru/rus/person59396
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru
1. Имитационное моделирование для анализа выполнимости приложений реального времени
С. Н. Баранов, В. В. Никифоров
Модел. и анализ информ. систем, 23:6 (2016),  673–687
2. Транзитивное наследование приоритетов в многозадачных приложениях реального времени
С. Н. Баранов, В. В. Никифоров
Тр. СПИИРАН, 43 (2015),  114–134
3. Метрическое обеспечение программных разработок
С. Н. Баранов, А. М. Тележкин
Тр. СПИИРАН, 36 (2014),  5–27
4. Conditionally reversible computations and weak universality in category theory
S. N. Baranov, S. V. Soloviev
Зап. научн. сем. ПОМИ, 421 (2014),  19–32
5. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений
И. С. Ануреев, С. Н. Баранов, Д. М. Белоглазов, Е. В. Бодин, П. Д. Дробинцев, А. В. Колчин, В. П. Котляров, А. А. Летичевский, А. А. Летичевский, В. А. Непомнящий, И. В. Никифоров, С. В. Потиенко, Л. В. Прийма, Б. В. Тютин
Тр. СПИИРАН, 26 (2013),  349–383
6. Некоторые приложения $\lambda$-исчисления с типами к атрибутным вычислениям в системах категорных преобразований графов
С. Н. Баранов, Б. Буавер, С. В. Соловьев, Л. Феро
Тр. СПИИРАН, 23 (2012),  296–323
7. Состояние и тенденции развития теории и практики индустрии программных средств
С.Н. Баранов, В.М. Шишкин
Тр. СПИИРАН, 20 (2012),  5–26
8. Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов
С.Н. Баранов, В. П. Котляров
Модел. и анализ информ. систем, 18:4 (2011),  118–130

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017