> Главная> Научная работа> Публикации
RUSENG

Публикации

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, А, Б, В, Г, Д, Ж, З, И, К, Л, М, Н, П, Р, С, Т, У, Ф, Х, Ц, Ч, Ш, Э 
All :: Шевцова, Шорников, Шошмина 
References

2017

Articles:

Рыжов, В.А., Сениченков, Ю.Б., Шорников, Ю.В.; Достовалов, Д.Н.
Компьютерное моделирование сложных динамических систем. Оценка потребности в специалистах.
Компьютерные инструменты в образовании, 4:C. 51-60.
April 2017
http://ipo.spb.ru/journal...x.php?magazines/2017/3/e/

Contributions to proceedings:

Рыжов, В.А., Сениченков, Ю.Б., Шорников, Ю.В.; Достовалов, Д.Н.
Компьютерное моделирование сложных динамических систем. Оценка потребности в специалистах.
Сборник пленарных докладво
October 2017
http://simulation.su/static/ru-immod-2017.html

2016

Technical reports:

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

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

2015

PhD theses:

Шошмина, Ирина В.
Метод разработки формальных контекстных требований для верификации программных систем логического управления
Диссертация
СПбПУ,
March 2015
http://dcn.icc.spbstu.ru/~irena/papers/thesis.pdf

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

Miscellany:

Шошмина, Ирина В.
Метод разработки формальных контекстных требований для верификации программных систем логического управления
May 2015
http://dcn.icc.spbstu.ru/~irena/papers/autoref.pdf

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

2014

Articles:

Шошмина, И. В.
Методика составления контекстных требований к программным системам логического управления
Информационно-управляющие системы, (3):69-77
2014
http://www.i-us.ru/Files/Pdfs/2014_3.pdf
/~irena/papers/Shoshmina2014.pdf

2012

Articles:

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

2011

Books:

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

2010

Articles:

Шошмина, И.В.
Проектирование программных бортовых систем управления с поддержкой верификации
Модел. и анал. информ. систем, 17(4):125-136
2010
mais.uniyar.ac.ru/sites/d...private/17_4__125-136.pdf
/~irena/papers/Shoshmina2010.pdf

Books:

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

Contributions to proceedings:

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

2009

Conferences:

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

2007

Articles:

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