Publications

Year:  
All :: 2007, ... , 2010, 2011, 2014, ... , 2016
Author:  
All :: A, B, C, F, G, H, I, K, L, M, N, P, R, S, T, U, V, W, Z, А, Б, В, Г, Д, Ж, З, И, К, Л, М, Н, П, Р, С, Т, У, Ф, Х, Ц, Ч, Ш, Э 
All :: Шевцова, Шорников, Шошмина 
References

2016

Technical reports:

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

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

2015

PhD theses:

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

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

Miscellany:

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

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

2014

Articles:

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

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