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

В базах данных Math-Net.Ru
Публикаций: 10
Научных статей: 10

Статистика просмотров:
Эта страница:891
Страницы публикаций:1001
Полные тексты:360
Списки литературы:152
профессор
доктор физико-математических наук (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
2017
1. V. V. Nikiforov, S. N. Baranov, “A flat chart technique for embedded OS testing”, Труды ИСП РАН, 29:5 (2017),  75–92  mathnet  elib
2. В. В. Никифоров, С. Н. Баранов, “Статическая проверка корректности разделения ресурсов в системах реального времени”, Тр. СПИИРАН, 52 (2017),  137–156  mathnet  elib
2016
3. С. Н. Баранов, В. В. Никифоров, “Имитационное моделирование для анализа выполнимости приложений реального времени”, Модел. и анализ информ. систем, 23:6 (2016),  673–687  mathnet  mathscinet  elib
2015
4. С. Н. Баранов, В. В. Никифоров, “Транзитивное наследование приоритетов в многозадачных приложениях реального времени”, Тр. СПИИРАН, 43 (2015),  114–134  mathnet  elib
2014
5. С. Н. Баранов, А. М. Тележкин, “Метрическое обеспечение программных разработок”, Тр. СПИИРАН, 36 (2014),  5–27  mathnet
6. S. N. Baranov, S. V. Soloviev, “Conditionally reversible computations and weak universality in category theory”, Зап. научн. сем. ПОМИ, 421 (2014),  19–32  mathnet  scopus; J. Math. Sci. (N. Y.), 200:6 (2014), 654–661  scopus
2013
7. И. С. Ануреев, С. Н. Баранов, Д. М. Белоглазов, Е. В. Бодин, П. Д. Дробинцев, А. В. Колчин, В. П. Котляров, А. А. Летичевский, А. А. Летичевский, В. А. Непомнящий, И. В. Никифоров, С. В. Потиенко, Л. В. Прийма, Б. В. Тютин, “Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений”, Тр. СПИИРАН, 26 (2013),  349–383  mathnet
2012
8. С. Н. Баранов, Б. Буавер, С. В. Соловьев, Л. Феро, “Некоторые приложения $\lambda$-исчисления с типами к атрибутным вычислениям в системах категорных преобразований графов”, Тр. СПИИРАН, 23 (2012),  296–323  mathnet
9. С.Н. Баранов, В.М. Шишкин, “Состояние и тенденции развития теории и практики индустрии программных средств”, Тр. СПИИРАН, 20 (2012),  5–26  mathnet
2011
10. С.Н. Баранов, В. П. Котляров, “Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов”, Модел. и анализ информ. систем, 18:4 (2011),  118–130  mathnet

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