|
|
|
|
Список литературы
|
|
| |
| 1. |
Лаврищева Е. М., Коваль Г. И., Слабоспицкая О. O., Колесник A. Л., “Особенности процессов управления при создании семейств программных систем”, Проблемы программирования, 2009, № 3, 40-49 [Lavrischeva E. M., Koval’ G. I., Slabospitskaya O. O., Kolesnik A. L., “Product Line Development Management Specifics”, Problems of Software Developement, 2009, no. 3, 40-49 (in Ukrainian)] |
| 2. |
Лаврищева Е. М., Коваль Г. И., Слабоспицкая О. O., Колесник A. Л., “Теоретические аспекты управления вариабельностью в семействах программных систем”, Вестник КНУ, серия физ.-мат. наук, 2011, № 1, 151-158 [Lavrischeva E. M., Slabospitskaya O. O., Koval’ G. I., Kolesnik A. L., “Theoretical Aspects of Variability Management in Product Lines”, Notes of KNU, series on maths and physics, 2011, no. 1, 151-158 (in Ukrainian)] |
| 3. |
Лаврищева Е. М., Программная инженерия и технология программирования сложных систем, Учебник, 2, Юрайт, Москва, 2018, 431 с. [Lavrischeva E. M., Software engineering and programming technology for complex systems, Textbook, 2nd, Yuright, Moscow, 2018, 431 pp. (in Russian)] |
| 4. |
Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов, “Аспекты моделирования вариабельных программных и операционных систем”, Сб. трудов XIX Всероссийский научной конференции «Научный сервис в сети Интернет», 2017, 327-341 [Lavrischeva K. M., Mutilin V. S., Ryzhov A. G., “Aspects of Modeling of Variable Software and Operating Systems”, Proc. of the XIX All-Russian conference on Scientific Services in the Internet, 2017, 327-341 (in Russian)] |
| 5. |
Лаврищева Е. М., Петренко А. К., “Моделирование систем и их семейств”, Труды ИСП РАН, 28:6 (2016), 49-65   [Lavrischeva K. M., Petrenko A. K., “Software Product Lines Modeling”, Proc. ISP RAS, 28:6 (2016), 49-64 (in Russian)] |
| 6. |
И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов, “Конфигурируемая система статической верификации модулей ядра операционных систем”, Труды ИСП РАН, 26:2 (2014), 5-42  [Zakharov I. S., Mandrykin M. U., Mutilin V. S., Novikov E. M., Petrenko A. K., Khoroshilov A. V., “Configurable Toolset for Static Verification of Operating Systems Kernel Modules”, Proc. ISP RAS, 26:2 (2014), 5-42 (in Russian)] |
| 7. |
Kozin S. V., Mutilin V. S., “Static Verification of Linux Kernel Configurations”, Proc. ISP RAS, 29:4 (2017), 217-230 |
| 8. |
Кулямин В. В., Лаврищева Е. М., Мутилин В. С., Петренко А. К., “Верификация и анализ вариабельных операционных систем”, Труды ИСП РАН, 28:3 (2016), 189-208 [Kuliamin V. V., Lavrischeva E. M., Mutilin V. S., Petrenko A. K., “Verification and analysis of variable operating systems”, Proc. ISP RAS, 28:3 (2016), 189-208 (in Russian)] |
