Гуров Вадим Сергеевич

Должность: тьютор

Кафедра: кафедра компьютерных технологий

Уч. степень: кандидат технических наук

Стаж: 8 лет

Условие работы: Внешний совместитель

Трудовой договор: с 09/01/2016 по 06/30/2017

Образование:

  • Диплом о высшем образовании (первое высшее); Специальность: математик; Квалификация: магистр;

Список трудов:

  1. Шалыто А.А., Мазин М.А., Гуров В.С. Текстовый язык автоматного программирования. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2008. № 53. С. 258-263. [Тип: Статья, Год: 2008]
  2. Шалыто А.А., Мазин М.А., Гуров В.С. Автоматическое завершение ввода условий в диаграммах состояний. Информационно-управляющие системы. 2008. № 1. С. 24-33. [Тип: Статья, Год: 2008]
  3. Гуров В.С. Текстовый язык автоматного программирования. Научно-технический вестник СПбГУ ИТМО. 2008. № 53. С. 258-263. [Тип: Статья, Год: 2008]
  4. Гуров В.С. Автоматическое завершение ввода условий в диаграммах состояний. Информационные технологии. 2008. № 1. С. 24-33. [Тип: Статья, Год: 2008]
  5. Гуров В.С. Верификация автоматных программ при помощи верификатора UNIMOD.VERIFIER. Научно-технический вестник СПбГУ ИТМО. 2008. № 53. С. 162-177       . [Тип: Статья, Год: 2008]
  6. Гуров В.С. Верификация автоматных программ при помощи верификатора UNIMOD.VERIFIER. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2008. № 53. С. 162-177. [Тип: Статья, Год: 2008]
  7. Гуров В.С. Инструментальное средство для поддержки автоматного программирования. Программирование. 2007. № 6. С. 18-23. [Тип: Статья, Год: 2007]
  8. Шалыто А.А., Мазин М.А., Гуров В.С. Инструментальное средство для поддержки автоматного программирования. Программирование. 2007. № 6. С. 65-80. [Тип: Статья, Год: 2007]
  9. Два подхода к созданию программ с использованием инструментального средства UniMod [Тип: Тезисы, Год: 2007]
  10. Текстовый язык автоматного программирования [Тип: Тезисы, Год: 2007]
  11. Технология верификации автоматных моделей программ без их трансляции во входной язык верификатора [Тип: Тезисы, Год: 2007]
  12. Текстовый язык для автоматного программирования [Тип: Тезисы, Год: 2007]
  13. Гуров В.С. UNIMOD - инструментальное средство для автоматного программирования. Научно-технический вестник СПбГУ ИТМО. 2006. № 30. С. 32-44. [Тип: Статья, Год: 2006]
  14. Метод и средство разработки реактивных объектно-ориентированных программ с явным выделением состояний [Тип: Тезисы, Год: 2005]
  15. Создание системы автоматического завершения ввода с использование пакета UniMod [Тип: Тезисы, Год: 2005]
  16. Операционная семантика UML-диаграмм состояний в программном пакете UniMod [Тип: Тезисы, Год: 2005]