Шошмина Ирина Владимировна

Доцент Высшая школа программной инженерии

 

Адрес

194021, Санкт-Петербург, ул. Политехническая, д. 21, - 9 корпус СПбПУ, оф. 105

Тел

+7(812)2970729

e-mail ishoshmina at dcn dot icc dot spbstu dot ru
Spin Ринц1212-1417
ScopusID23475292400

 

Область исследовательских интересов

  • моделирование встроенных систем управления
  • формальная верификация распределенных систем и алгоритмов
  • формальная спецификация встроенных систем управления
  • дистанционное образование

Членство в профессиональных организациях

ACM - c 2017года

Расписание 

    Часы занятий 

    Если  требуется консультация или встреча, то пишите заранее по указанному электронному адресу, чтобы обнаружить меня в офисе.

    Студенты! Не забывайте подписываться именем, фамилией, номером группы, названием дисциплины

    Читаемые курсы 

    • Математическая логика (практика - бакалавры, магистры)
    • Математическая логика (дистанционный курс Математическая логика  - бакалавры, магистры)
    • Теория автоматов и формальных языков (курсовая работа - бакалавры)
    • Верификация параллельных и распределенных программных систем (практика - магистры)
    • Распределенные алгоритмы (лекции и практика - бакалавры)

    Общие требования, предъявляемые к сдаваемым курсовым работам и зачетам

    1. Во время семестра в согласованное с преподавателем время можно приходить консультироваться по любому из выше перечисленных курсов.
    2. При согласии преподавателя курсовую работу можно сдавать в середине семестра.
    3. Общее количество попыток сдачи зачета и курсовой - 3 раза. Оно не зависит от времени сдачи зачета или курсовой (т. е. от того, сдаете ли Вы ее во время семестра, или в зачетную неделю).
    4. Во время посещения можно ИЛИ консультироваться, ИЛИ сдавать курсовую работу. Нельзя сделать и то, и другое в одно посещение.
    5. СПбПУ установлены правила сдачи курсовых работ
    6. Обращаю внимание на следующие обязательные компоненты, требуемые вузом, без которых я не принимаю курсовые работы:
      1. отчет в электронном виде (не присылайте мне его по почте - приносите на носителе, когда приходите сдавать), оформленный согласно положению о курсовых работах (ссылка выше). В частности, должно быть соблюдено оформление, название вуза, института, кафедры, предмета, сохранена требуемая структура, список литературы должен содержать 5 источников, должны быть ссылки в тексте на элементы списка литературы,
      2. титульный лист отчета в печатном виде с вашей подписью,
      3. скан титульного листа отчета с Вашей подписью на белом фоне
    7. Требования к содержанию отчетов. В отчете не надо "воды", отчет должен содержать информацию, демонстрирующую Вашу квалификацию как инженера при выполнении курсовой. Отчет должен содержать преимущественно ВАШ текст (90%). Все заимствования чужого текста должны быть оформлены как цитаты, должны быть даны ссылки на соответствующие источники литературы. Иное оформление является нарушением авторских прав и называется плагиатом. В случае обнаружения плагиата  курсовая работа не засчитывается.
    8. Количество групп в осеннем семестре 2019 г.  - 13 штук. Зачеты по всем предметам семестра на зачетной неделе идут одновременно у всех групп. Если не хотите стоять в длинной очереди, то сдавайте курсовую работу раньше (это приветствуется).
    9. Тот, кто не сдал зачет или курсовую в сессию (день, назначенный по расписанию), получит следующую попытку уже в дополнительную сессию. Никаких сдач вне расписания  экзаменационной сессии не производится.

     

     

    Публикации

    References
    15.
    Шошмина, И.В.
    К дистанционному курсу ``Математическая логика-2015'
    СПбПУ,
    March 2016

    Keywords: дистанционное образование

    14.
    Shoshmina, I.V.
    Developing formal temporal requirements to distributed program systems
    Системная информатика (System informatics), (8):21-32
    2016

    Keywords: software requirement specification, requirement patterns, model checking, linear temporal logic

    13.
    Шошмина, Ирина В.
    Метод разработки формальных контекстных требований для верификации программных систем логического управления
    May 2015

    Keywords: Реагирующие системы, метод проверки модели, инженерия программных требований, темпоральная логика

    12.
    Шошмина, Ирина В.
    Метод разработки формальных контекстных требований для верификации программных систем логического управления
    Диссертация
    СПбПУ,
    March 2015

    Keywords: Реагирующие системы, метод проверки модели, инженерия программных требований, темпоральная логика

    11.
    Шошмина, И. В.
    Методика составления контекстных требований к программным системам логического управления
    Информационно-управляющие системы, (3):69-77
    2014
    10.
    Shoshmina, Irina V.
    Distributed Embedded Control System Design with Verification Support
    Automatic Control and Computer Sciences, 45(7)
    2011
    ISSN: 0146-4116
    9.
    Карпов, Ю.Г.; Шошмина, И.В.
    Верификация распределенных систем
    Publisher: СПбГПУ,
    2011
    8.
    Shoshmina, Irina V.; Belyaev, Alexey B.
    Symbolic Algorithm for Generation Büchi Automata from LTL Formulas
    In Victor Malyshkin, editor, Volume 6873 of LNCS
    Parallel Computing Technologies - 11th International Conference PACT'2011
    Kazan
    Publisher: Springer,
    2011
    7.
    Шошмина, И.В.
    Проектирование программных бортовых систем управления с поддержкой верификации
    Модел. и анал. информ. систем, 17(4):125-136
    2010
    6.
    Balint-Kurti, G.G., Bogdanov, A.V., Gevorkyan, A., Gorbachev, Y.E., Hakobyan, T., Nyman, G.; Shoshmina, I.
    Grid-Technology for Chemical Reactions Calculation
    Transactions on Computational Science, 7:154-162
    2010
    5.
    Шошмина, И.В.; Карпов, Ю.Г.
    Введение в язык Promela и систему комплексной верификации Spin
    Publisher: СПбГПУ, Санкт-Петербург
    2010
    4.
    Шошмина, И.В.; Карпов, Ю.Г.
    Технология проектирования и верификации распределенных бортовых систем
    Материалы международного семинара PSSV
    Казань
    2010
    Page:  
    Previous | 1, 2 | Next