Специальность ВАК: 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

Публикации в базе данных Math-Net.Ru

Персональные страницы:

• 
• 

Организации:

• Санкт-Петербургский государственный университет аэрокосмического приборостроения
• Санкт-Петербургский политехнический университет Петра Великого
• Санкт-Петербургский институт информатики и автоматизации РАН