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

Публикации

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

Articles:

Shoshmina, I.V.
Developing formal temporal requirements to distributed program systems
Системная информатика (System informatics), (8):21-32
2016
http://www.system-informa...les/article/shoshmina.pdf

Keywords: software requirement specification, requirement patterns, model checking, linear temporal logic
Export as:
BibTeX, XML