Публикации

Year:  
All :: 2007, ... , 2011, 2012, 2014, ... , 2017
Author:  
All :: A, B, C, F, G, H, I, K, L, M, N, P, R, S, T, U, V, W, Z, А, Б, В, Г, Д, Ж, З, И, К, Л, М, Н, П, Р, С, Т, У, Ф, Х, Ц, Ч, Ш, Э 
References

2017

Articles:

Рыжов, В.А., Сениченков, Ю.Б., Шорников, Ю.В.; Достовалов, Д.Н.
Компьютерное моделирование сложных динамических систем. Оценка потребности в специалистах.
Компьютерные инструменты в образовании, 4:C. 51-60.
April 2017

Contributions to proceedings:

Рыжов, В.А., Сениченков, Ю.Б., Шорников, Ю.В.; Достовалов, Д.Н.
Компьютерное моделирование сложных динамических систем. Оценка потребности в специалистах.
Сборник пленарных докладво
October 2017

2016

Technical reports:

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

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

2015

PhD theses:

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

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

Miscellany:

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

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

2014

Articles:

Шошмина, И. В.
Методика составления контекстных требований к программным системам логического управления
Информационно-управляющие системы, (3):69-77
2014

2012

Articles:

Кознов, Д.В., Азарсков, А.В., Самочадин, А.В., Шевцова, Ю.А.; Романовский, К.Ю.
Модельно-ориентированный метод спецификации государственных услуг
Вестник Санкт-Петербургского университета. Серия 10: Прикладная математика. Информатика. Процессы управления., №4:102-116
2012

2011

Books:

Карпов, Ю.Г.; Шошмина, И.В.
Верификация распределенных систем
Publisher: СПбГПУ,
2011

2010

Articles:

Шошмина, И.В.
Проектирование программных бортовых систем управления с поддержкой верификации
Модел. и анал. информ. систем, 17(4):125-136
2010

Books:

Шошмина, И.В.; Карпов, Ю.Г.
Введение в язык Promela и систему комплексной верификации Spin
Publisher: СПбГПУ, Санкт-Петербург
2010

Contributions to proceedings:

Шошмина, И.В.; Карпов, Ю.Г.
Технология проектирования и верификации распределенных бортовых систем
Материалы международного семинара PSSV
Казань
2010

2009

Conferences:

Шошмина, И.В.
Технология проектирования и верификации распределенных встроенных бортовых систем
In Сухомлин В.А., editor, IV Международная научно-практическая конференция "Современные информационные технологии и ИТ-образование" , page 464-471.
Publisher: М.:ИНТУИТ.РУ,
December 2009

2007

Articles:

Шошмина, И.В.; Богданов, А.В.
Использование Grid-технологий для проведения вычислений
Вестник СПбГУ, 4:75-82
2007
Export as:
BibTeX, XML