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

Публикации

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

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: Реагирующие системы, метод проверки модели, инженерия программных требований, темпоральная логика
Export as:
BibTeX, XML